Skip to content

Fix out-of-date (wrt XSD) HTML pages#216

Merged
haeckerbaer merged 8 commits into
v2.3-wipfrom
fix-ci-branch-triggers
Jun 23, 2026
Merged

Fix out-of-date (wrt XSD) HTML pages#216
haeckerbaer merged 8 commits into
v2.3-wipfrom
fix-ci-branch-triggers

Commits

Commits on May 18, 2026

Commits on Jun 18, 2026