Let override code also override GAP_lib_jll#976

Merged

fingolfin merged 1 commit intomasterfrom mh/override

Mar 19, 2024

+5-2

Commits on Mar 19, 2024

Let override code also override GAP_lib_jll
fingolfin
committed