Dot updates#434

james-d-mitchell wants to merge 3 commits into

libsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:dot-updatesjames-d-mitchell/libsemigroups_pybind11:dot-updatesCopy head branch name to clipboard