K 10
svn:author
V 7
thierry
K 8
svn:date
V 27
2020-09-13T19:32:05.144234Z
K 7
svn:log
V 171
Upgrade to 1.3.1.

Release notes at:
https://github.com/libsemigroups/libsemigroups/releases/tag/v1.3.0
https://github.com/libsemigroups/libsemigroups/releases/tag/v1.3.1

END