commit | b234b3c37f26a1b6ba26a617b8b5c7612ab393d9 | [log] [tgz] |
---|---|---|
author | Rico Wind <ricow@google.com> | Mon May 06 07:27:00 2019 +0200 |
committer | Rico Wind <ricow@google.com> | Mon May 06 07:34:36 2019 +0000 |
tree | d8e2fd64e087bdb411198c32397040d6da38fdb7 | |
parent | b6c62bb02eeb893b517c72d6e2b5e382307558cc [diff] |
Update patch version for release - new version is 1.5.23-dev Change-Id: I3e7c982c04b1cce82b53c6b6119e8acbe9e7706e
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java index 83c0df1..e625c28 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.22-dev"; + public static final String LABEL = "1.5.23-dev"; private Version() { }