commit | 7111a35bae6d5185dcfb338d61074aca8426c006 | [log] [tgz] |
---|---|---|
author | Ian Zerny <zerny@google.com> | Mon Apr 01 10:29:56 2019 +0200 |
committer | Ian Zerny <zerny@google.com> | Mon Apr 01 10:29:56 2019 +0200 |
tree | e3e76ec50343e894e168371bf391de0bd88313a2 | |
parent | 5ba65a4ce4eb6aebafd9c8d4c0a926e58ec696a7 [diff] |
Update patch version for release - new version is 1.5.14-dev Change-Id: I93ee91e5a211cd58199fa66cd3c6e7209405546b
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java index e623f3e..cdac01b 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.13-dev"; + public static final String LABEL = "1.5.14-dev"; private Version() { }