Version 8.13.13

Bug: b/448608112
Change-Id: Ief5d19ac2ec22952baaee795ecef281bfb9e30d3
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java
index 1712fc3..7b56f2b 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 = "8.13.12";
+  public static final String LABEL = "8.13.13";
 
   private Version() {
   }