commit 7ce2c8159fdfebef86744a8fa473e2fddb04c5a1
author Søren Gjesse <sgjesse@google.com> Wed Nov 06 09:20:36 2019 +0100
committer Søren Gjesse <sgjesse@google.com> Wed Nov 06 09:20:36 2019 +0100
tree e3e1a9aad8d3c7428a44e480b2295e8c85cd985a
parent 2caec3d44b30b431e592f13d46ee906d4b264b0d
parent 38b1992e641eac6387983444f5cac0f2ba61379a

Merge commit '38b1992e641eac6387983444f5cac0f2ba61379a' into dev-release

src/main/java/com/android/tools/r8/Version.java

diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java
index 6164e5e..dbfff35 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.20-dev";
 
   private Version() {
   }