From b3e730f8e1e5534f3725ee4a932af98539ba3187 Mon Sep 17 00:00:00 2001
From: Hans-Joachim Krauch <achim.krauch@gmail.com>
Date: Wed, 4 Oct 2023 14:48:06 +0200
Subject: [PATCH] Pipfile: Set required python version to 3.7

---
 python/Pipfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/Pipfile b/python/Pipfile
index 92f0d582c0..a34afa9ed1 100644
--- a/python/Pipfile
+++ b/python/Pipfile
@@ -35,4 +35,4 @@ typing_extensions = "*"
 isort = "*"
 
 [requires]
-python_version = "3"
+python_version = "3.7"