commit 68a33403abed07eefd148d7d9554b07bedfc7cf4
author Rico Wind <ricow@google.com> Mon Jan 13 07:27:02 2020 +0100
committer Rico Wind <ricow@google.com> Mon Jan 13 07:27:02 2020 +0100
tree e04b7a4f5fad7abfc176c89dabcf5e62ccd5a6f0
parent d1d51c1cb3e85aa30e00a6822cca83bbe1dfe945
parent a6d9f379e79bd2f7182718afa6d4d076b30330cf

Merge commit 'a6d9f379e79bd2f7182718afa6d4d076b30330cf' 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 d01ede5..e55c3d0 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 = "2.0.13-dev";
 
   private Version() {
   }