From 2dadd0e3d193846a7a351f5cde13f6a26a1564f1 Mon Sep 17 00:00:00 2001
From: roimenashe <roimenashe5@gmail.com>
Date: Wed, 9 Nov 2022 14:02:17 +0200
Subject: [PATCH] Set version to 0.7.2.

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

diff --git a/pom.xml b/pom.xml
index a4d27be..bac7d13 100644
--- a/pom.xml
+++ b/pom.xml
@@ -31,7 +31,7 @@
     </modules>
 
     <properties>
-        <revision>0.7.1</revision>
+        <revision>0.7.2</revision>
         <java.version>1.8</java.version>
         <maven.compiler.source>${java.version}</maven.compiler.source>
         <maven.compiler.target>${java.version}</maven.compiler.target>