Skip to content

Update the GAP banner to reflect the new GAP logo - #6357

Merged
fingolfin merged 2 commits into
gap-system:masterfrom
mtorpey:cool-gap-logo-nocolor
May 23, 2026
Merged

Update the GAP banner to reflect the new GAP logo#6357
fingolfin merged 2 commits into
gap-system:masterfrom
mtorpey:cool-gap-logo-nocolor

Commits

Commits on Apr 30, 2026

Commits on May 18, 2026