commit 2b371106b0f34f9a9929a45f55a6a644523f9160
author Christoffer Quist Adamsen <christofferqa@google.com> Thu Nov 29 14:51:12 2018 +0100
committer Christoffer Quist Adamsen <christofferqa@google.com> Thu Nov 29 14:51:12 2018 +0100
tree 2581fcc7d6ee40d1c02c01da7b97c1ce8f3bba4a
parent 07cb0143ed807496a5bee51b6cf4e8f24a4c0d4f

Update patch version for release - new version is 1.4.13-dev

Change-Id: I6f063a3a81403fe7cd77c432209e68dc3df97b70

src/main/java/com/android/tools/r8/Version.java

diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java
index 29d54b4..bdea79c 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 = "1.4.12-dev";
+  public static final String LABEL = "1.4.13-dev";
 
   private Version() {
   }