From 46ee98f360c8d0c825871014c11e1a203a1f6831 Mon Sep 17 00:00:00 2001
From: Lurkars <git@8lh.de>
Date: Mon, 7 Aug 2023 20:31:58 +0200
Subject: [PATCH] update for latest GHS

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index c330b91..d432b6d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -8,7 +8,7 @@
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 		<java.version>11</java.version>
-		<revision>0.72.0</revision>
+		<revision>0.72.1</revision>
 	</properties>
 
 	<parent>