From 1c6ea2bfa0ff0842dd580ae3c344daad2f0e9a34 Mon Sep 17 00:00:00 2001
From: Paulo Dias <paulo.sousa.dias@gmail.com>
Date: Tue, 17 May 2016 10:30:41 +0100
Subject: [PATCH] Ant: Updated version to final 4.3.0.

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

diff --git a/build.xml b/build.xml
index 41407f02f2..545038c33b 100644
--- a/build.xml
+++ b/build.xml
@@ -59,7 +59,7 @@ For simple use the main targets are:
 	<property name="version.MINOR" value="3" />
 	<property name="version.PATCH" value="0" />
 	<!-- Set this to '-dev' if a developer release; blank "" if maintenance release; or '-rcX' for release candidate X (X number) -->
-	<property name="version.DEVELOPER" value="-dev" />
+	<property name="version.DEVELOPER" value="" />
 	<!-- Set the release number. Use the form 'R14.01' for release 1 of year 2014. Or leave it blank for a non release -->
 	<property name="release.NAME" value="R16.05" />
 	<property name="release.INFO" value="${release.NAME}"/>