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

Update lib/init.g

99ecf2a
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.