commit | 2d4114e1310c75c8700b2d410f5bba5095663519 | [log] [tgz] |
---|---|---|
author | Søren Gjesse <sgjesse@google.com> | Mon Jun 18 08:28:27 2018 +0200 |
committer | Søren Gjesse <sgjesse@google.com> | Mon Jun 18 08:28:27 2018 +0200 |
tree | 42c606c8925a3f08b62240622db40d5da846db50 | |
parent | b5510dd66b3148e306ea6852f9653333393f7653 [diff] |
Update patch version for release - new version is 1.3.1-dev Change-Id: Ie5e0e5bec323263ebee2222ef68fd16890d5d720
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java index b775fd3..f896eee 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.0-dev"; + public static final String LABEL = "1.3.1-dev"; private Version() { }