search

gap-system / GitHubPagesForGAP

Template for easily using GitHub Pages within GAP packages
https://gap-system.github.io/GitHubPagesForGAP/
Other
13 stars 11 forks source link

Update Package Details #19

Closed DominikBernhardt closed 4 years ago

DominikBernhardt commented 4 years ago

PackageInfo.g still shows your old contact details @fingolfin .

fingolfin commented 4 years ago

Resolved in a7b04db7fb7b671c6ced348b07bba7addb37e2e2