Replace C call to julia_gap by Julia call to _GAP_TO_JULIA#918

Merged

fingolfin merged 1 commit intooscar-system:masterfrom fingolfin:mh/call_gap_func

Jul 20, 2023

+12-14

Commits on Jul 13, 2023

Replace C call to julia_gap by Julia call to _GAP_TO_JULIA
fingolfin
committed