| commit | 85d67bad774e70ad4d9e11cbc21dce2b487848c7 | [log] [tgz] |
|---|---|---|
| author | Søren Gjesse <sgjesse@google.com> | Fri Mar 22 16:22:08 2019 +0100 |
| committer | Søren Gjesse <sgjesse@google.com> | Fri Mar 22 16:22:08 2019 +0100 |
| tree | 94e55c562fb897aface225d330dce373c3f1c050 | |
| parent | fd02b2b167401c6a26911dc6a1099b5bd5086129 [diff] |
Update patch version for release - new version is 1.5.13-dev Change-Id: I219f62db99d60b11da9ecb7a7876e7ad1edeb8b7
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java index 45deb7f..e623f3e 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.5.12-dev"; + public static final String LABEL = "1.5.13-dev"; private Version() { }