Bump the min. required version of libsemigroups to v3.3.0#372

james-d-mitchell merged 1 commit intolibsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:bump-min-libsemigroups-to-v3.3.0james-d-mitchell/libsemigroups_pybind11:bump-min-libsemigroups-to-v3.3.0Copy head branch name to clipboard