From 362ecf1e0e7b7de2cd66f2e819c54c6171a16e83 Mon Sep 17 00:00:00 2001
From: Philip Rebohle <philip.rebohle@tu-dortmund.de>
Date: Mon, 15 Jul 2019 20:42:37 +0200
Subject: [PATCH] [meta] Fix release number

---
 RELEASE | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RELEASE b/RELEASE
index f0bb29e7..7e32cd56 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1 +1 @@
-1.3.0
+1.3