Skip to content

Manual: add labels for string variants to avoid duplicate label creation - #37

Merged
fingolfin merged 1 commit into
gap-packages:masterfrom
stertooy:fix-manual
Oct 17, 2025
Merged

Manual: add labels for string variants to avoid duplicate label creation#37
fingolfin merged 1 commit into
gap-packages:masterfrom
stertooy:fix-manual

Commits

  1. Commits on Oct 17, 2025