Skip to content

[trav] Add standalone RectorRegistry - #8600

Merged
TomasVotruba merged 2 commits into
mainfrom
tv-rector-registry
Oct 10, 2026
Merged

TomasVotruba merged 2 commits into
mainfrom
tv-rector-registry

Commits

  1. Commits on Oct 10, 2026