Skip to content

Document GitHub usernames in PackageInfo - #56

Merged
fingolfin merged 1 commit into
gap-packages:masterfrom
lgoettgens:fix-github-username-packageinfo
Aug 23, 2026
Merged

Document GitHub usernames in PackageInfo#56
fingolfin merged 1 commit into
gap-packages:masterfrom
lgoettgens:fix-github-username-packageinfo

Commits

Commits on Aug 11, 2026