jjames pushed to libsemigroups (master). "Version 1.3.1. (..more)"