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

Add labels for string variants to avoid duplicates

8bda8fb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 errors

The logs for this run have expired and are no longer available.