Fix duplicate labels in manual#20

Merged

fingolfin merged 2 commits intogap-packages:masterfrom

stertooy:fix-ci

Dec 3, 2025

Commits on Oct 17, 2025

Fix manual
stertooy
authored

Commits on Dec 3, 2025

nicer
fingolfin
committed