jjames pushed to libsemigroups (master). "New upstream version."