diff --git a/CHANGES b/CHANGES
index a5f6ac86bafe200c40723c744c73857c746ddbef..da9955c39a36ad881a73d93cd8b793a53f6d2393 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 0509b93401665ba5f1e3497222d8ceea866dbb13..e56ac185a66bc0d31aaeae6c41fa99fd5e56f57f 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 6c94c1ce48d41b48f8cd5b150bef9218f7de6a79..a927ce6783d054fb11bcf19ec64de9388ae44d42 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");