Update version numbers etc for v1.4.2#408

james-d-mitchell merged 1 commit intostable-1.4libsemigroups/libsemigroups_pybind11:stable-1.4from

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