From 63aaf324835ecc776cef0fd9c06079496bc4c2b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Bigaret?=
 <sebastien.bigaret@telecom-bretagne.eu>
Date: Thu, 26 Jul 2018 09:48:54 +0200
Subject: [PATCH] Prepare release 3.0.2

---
 CHANGES                                                | 6 ++++++
 build.xml                                              | 2 +-
 src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java | 4 ++--
 3 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/CHANGES b/CHANGES
index a5f6ac86..da9955c3 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,6 @@
+v3.0.2
+------
+
 - Fix a bug causing an application to crash if no logging.properties
   could be found (*sigh*)
 
@@ -9,6 +12,9 @@ v3.0.1
 
 - Fix: applications failed to start when the system's default locale
   was unsupported.
+  Many thanks to Andrea Profili (Italy) and Miłosz Kadziński (Poland)
+  for the bug reports, and for their precious help to diagnose the
+  problem.
 
 - Now properly detects when launched with unsupported JVM (currently
   v9 and v10), and informs the user before exiting.
diff --git a/build.xml b/build.xml
index 0509b934..e56ac185 100644
--- a/build.xml
+++ b/build.xml
@@ -7,7 +7,7 @@
     <format property="build.time" pattern="yyyy-MM-dd'T'hh:mm:ss.SSSZ"/>
   </tstamp>
 
-  <property name="praxis.version" value="3.0.1"/>
+  <property name="praxis.version" value="3.0.2"/>
   <!-- If not called from an other project setting praxis.home, define it.
        In details:
        - it is unset when directly building the jars of Praxis,
diff --git a/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java b/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java
index 6c94c1ce..a927ce67 100644
--- a/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java
+++ b/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java
@@ -7,9 +7,9 @@ package eu.telecom_bretagne.praxis.common;
  */
 public abstract class ReleaseInfo
 {
-	public static final String release              = "3.0.1";
+	public static final String release              = "3.0.2";
 
-	public static final String release_date         = "2018-07-25";
+	public static final String release_date         = "2018-07-26";
 
 	public static final int    application_revision = Configuration.getInt("revision");
 
-- 
GitLab