Resolve https://github.com/gap-system/gap/issues/5761#21

Merged

fingolfin merged 1 commit intogap-packages:masterfrom james-d-mitchell:load-kernel-ext

Aug 26, 2024

+11-13

Commits on Aug 26, 2024

Resolve gap-system/gap#5761
james-d-mitchell
committed