commit | 10c8e8af605720fd888bfbf2f80050b41e58e23d | [log] [tgz] |
---|---|---|
author | Ian Zerny <zerny@google.com> | Mon Aug 06 09:00:47 2018 +0200 |
committer | Ian Zerny <zerny@google.com> | Mon Aug 06 09:00:47 2018 +0200 |
tree | 42d38d43040966af3583b5713f4155534798f808 | |
parent | a8309c3c56749ce9c97a74549b64643ee104f3b5 [diff] |
Update patch version for release - new version is 1.3.14-dev Change-Id: I4f043a73d274a5ade02233f48c9d425e81a78cbe
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java index e7d1ebc..6f9464c 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.3.13-dev"; + public static final String LABEL = "1.3.14-dev"; private Version() { }