commit | 43f77dea43cd66ed2fec7324127d7a2f917853d4 | [log] [tgz] |
---|---|---|
author | Ian Zerny <zerny@google.com> | Wed Oct 23 14:00:13 2019 +0200 |
committer | Ian Zerny <zerny@google.com> | Wed Oct 23 14:00:13 2019 +0200 |
tree | 4ef57f6d992f5d39915619a0b924f9000486d923 | |
parent | cd90023930d973f57711f1d4fdaad7a3e4714637 [diff] | |
parent | 89bf9b479b86813e1840fc57f8e3151e104121d2 [diff] |
Merge commit '89bf9b479b86813e1840fc57f8e3151e104121d2' into 1.7.15-dev Change-Id: I537c7fbf4310e0d52ebbcd9295055d0451294d0d
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java index 6164e5e..ee1b428 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 = "master"; + public static final String LABEL = "1.7.14-dev"; private Version() { }