v1.7.2

CHANGES

+v1.7.2
+------
 
 * Fixed: StorageManager.reserveName() was not detecting anymore (since
   6f64d9e845, i.e. since v1.6) that a workflow's name was already used.

src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java

@@ -7,15 +7,15 @@ package eu.telecom_bretagne.praxis.common;
  */
 public abstract class ReleaseInfo
 {
-	public static final String release              = "1.7.1";
+	public static final String release              = "1.7.2";
 
 	public static final int    revision             = 0;
 
 	public static final int    application_revision = Configuration.getInt("revision");
 
-	public static final String release_date         = "2012-08-12";
+	public static final String release_date         = "2012-08-14";
 
-	public static final String package_date         = "2012-08-12";
+	public static final String package_date         = "2012-08-14";
 
 	/**
 	 * Returns a array of three strings: the release, the application_revision number, and the release date