Update version numbers etc for v1.2.0#373

james-d-mitchell merged 1 commit intomainlibsemigroups/libsemigroups_pybind11:mainfrom

rc-v1.2.0libsemigroups/libsemigroups_pybind11:rc-v1.2.0Copy head branch name to clipboard