Bump libsemigroups -> v2.3.1

james-d-mitchell · james-d-mitchell · commit 51623efed75e · 2022-10-10T15:57:40.000+01:00
diff --git a/libsemigroups_pybind11/tools.py b/libsemigroups_pybind11/tools.py
@@ -25,7 +25,7 @@ def minimum_libsemigroups_version():
     Returns the minimum required version of libsemigroups required to make
     this work.
     """
-    return "2.3.0"
+    return "2.3.1"
 
 
 if PKGCONFIG_IMPORTED:
