todd-coxeter: update for changes in libsemigroups#388

james-d-mitchell wants to merge 1 commit intolibsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:improve-lookbehindjames-d-mitchell/libsemigroups_pybind11:improve-lookbehindCopy head branch name to clipboard