From 087c0c4625e889d4eaed00f5d7f9c05bb9ceafdb Mon Sep 17 00:00:00 2001
From: Eduard Kerkhoven <eduardk@chalmers.se>
Date: Tue, 14 Jun 2022 00:01:19 +0200
Subject: [PATCH] Update version.txt

---
 version.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.txt b/version.txt
index 860487ca..37c2961c 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-2.7.1
+2.7.2