Skip to content

Merge pull request #239 from protegeproject/manage-hierarchies-menu-item #420

Merge pull request #239 from protegeproject/manage-hierarchies-menu-item

Merge pull request #239 from protegeproject/manage-hierarchies-menu-item #420

Annotations

2 warnings

build

succeeded Oct 30, 2025 in 15m 3s