Skip to content

Don't hardcode GAP version in package banner#87

Merged
cdwensley merged 1 commit intomasterfrom
mh/banner
Oct 17, 2025
Merged

Don't hardcode GAP version in package banner#87
cdwensley merged 1 commit intomasterfrom
mh/banner

Commits

Commits on Oct 17, 2025