From 4d8b7f34c1787378fdeae10ade501aab13dacbea Mon Sep 17 00:00:00 2001
From: "James D. Mitchell" <jdm3@st-andrews.ac.uk>
Date: Wed, 29 Mar 2023 08:03:58 +0100
Subject: [PATCH] Bump libsemigroups -> v2.7.1

---
 libsemigroups_pybind11/tools.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsemigroups_pybind11/tools.py b/libsemigroups_pybind11/tools.py
index 6a55a02b..2367131d 100644
--- a/libsemigroups_pybind11/tools.py
+++ b/libsemigroups_pybind11/tools.py
@@ -26,7 +26,7 @@ def minimum_libsemigroups_version():
     Returns the minimum required version of libsemigroups required to make
     this work.
     """
-    return "2.7.0"
+    return "2.7.1"
 
 
 if PKGCONFIG_IMPORTED: