Remove ManSection labels in manual#16
Merged
fingolfin merged 2 commits intogap-packages:masterfrom Oct 18, 2025
stertooy:fix-ci
Merged
Remove ManSection labels in manual#16fingolfin merged 2 commits intogap-packages:masterfrom stertooy:fix-ci
fingolfin merged 2 commits intogap-packages:masterfrom
stertooy:fix-ci