Update version for release. New version v1.2.14-dev.

R=christofferqa@google.com

Change-Id: Ia795f4e240466ac768cdbe3085e407e76d617fcc
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java
index 4d997a2..b116e65 100644
--- a/src/main/java/com/android/tools/r8/Version.java
+++ b/src/main/java/com/android/tools/r8/Version.java
@@ -11,7 +11,7 @@
 
   // This field is accessed from release scripts using simple pattern matching.
   // Therefore, changing this field could break our release scripts.
-  public static final String LABEL = "v1.2.13-dev";
+  public static final String LABEL = "v1.2.14-dev";
 
   private Version() {
   }