From e2b05607bf5af331919ffa6962bc0e172f846b49 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Peter=20W=2E=20V=2E=20Tran-J=C3=B8rgensen?= <pvj@eng.au.dk>
Date: Thu, 9 Nov 2017 12:51:02 +0100
Subject: [PATCH] Prepare release of Overture 2.5.4

---
 overture.release.properties | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/overture.release.properties b/overture.release.properties
index b6aee6487d..c4c5dba20b 100644
--- a/overture.release.properties
+++ b/overture.release.properties
@@ -1,3 +1,3 @@
-Release version = 2.5.2
-New dev version = 2.5.3-SNAPSHOT
+Release version = 2.5.4
+New dev version = 2.5.5-SNAPSHOT