From e06196e0dbfb49f8762256b584dafd87b0056665 Mon Sep 17 00:00:00 2001
From: Julian Valentin <julian.valentin@ipvs.uni-stuttgart.de>
Date: Mon, 7 Oct 2019 11:10:13 +0200
Subject: [PATCH] Bump to 4.7.3

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index d8e258eb..afb1dc60 100644
--- a/build.gradle
+++ b/build.gradle
@@ -5,7 +5,7 @@ plugins {
 }
 
 group 'valentjn'
-version '4.7.2'
+version '4.7.3'
 
 idea {
   module {