Skip to content

Workaround for GAP 4.12 test failure due to new GAPDoc version#1004

Merged
james-d-mitchell merged 1 commit intosemigroups:stable-5.3from fingolfin:mh/workaroundMar 8, 2024
+8-1

Commits

Commits on Mar 8, 2024