commit | da41d4b72d8a19b6cb18338b37a74b28ed59aabd | [log] [tgz] |
---|---|---|
author | Ian Zerny <zerny@google.com> | Mon Oct 21 09:29:42 2019 +0200 |
committer | Ian Zerny <zerny@google.com> | Mon Oct 21 09:29:42 2019 +0200 |
tree | b26062e3dd5c53152b2cc9cee5386846afb23d90 | |
parent | f016f7d670c7afe027d48b4c053a455bb81c0733 [diff] | |
parent | 190440afd5c304438851011526ebe11bcde62cce [diff] |
Merge commit '190440afd5c304438851011526ebe11bcde62cce' into 1.7.x-dev Change-Id: I74db49506e6b2beb6eb94ec95a5a704d0a29f728
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java index 6164e5e..4f0bf6f 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.13-dev"; private Version() { }