Skip to content

Link the bundled libsemigroups statically on MinGW - #1233

Merged
james-d-mitchell merged 1 commit into
semigroups:stable-5.7from
fingolfin:mh/mingw-static-libsemigroups
Oct 8, 2026
Merged

james-d-mitchell merged 1 commit into
semigroups:stable-5.7from
fingolfin:mh/mingw-static-libsemigroups

Commits

  1. Commits on Oct 8, 2026