Merge commit 'b1f189e73b3431e087f0895dacd87c0046796a8b' into dev-release

Change-Id: I2236742b11eaaf718a773c9adc20e0fabc9ba488
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java
index b725385..dfa75a6 100644
--- a/src/main/java/com/android/tools/r8/Version.java
+++ b/src/main/java/com/android/tools/r8/Version.java
@@ -13,7 +13,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 = "main";
+  public static final String LABEL = "8.11.12-dev";
 
   private Version() {
   }