Skip to content

PackageInfo.g: update contact details (emails, homepages, GitHub usernames) - #50

Merged
fingolfin merged 4 commits into
gap-packages:masterfrom
wilfwilson:patch-1
Jan 26, 2026
Merged

PackageInfo.g: update contact details (emails, homepages, GitHub usernames)#50
fingolfin merged 4 commits into
gap-packages:masterfrom
wilfwilson:patch-1

Merge branch 'master' into patch-1

0076e0c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

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