| commit | 86528d35b655e8f858e7e74fa0ae7c5609a0d61e | [log] [tgz] |
|---|---|---|
| author | Søren Gjesse <sgjesse@google.com> | Tue Aug 05 15:34:57 2025 +0200 |
| committer | Søren Gjesse <sgjesse@google.com> | Tue Aug 05 15:34:57 2025 +0200 |
| tree | 4b4d30d89d55d599001f802990def8f17d0a86c2 | |
| parent | 39e1e0bba1d8d6e0559f2a2d54822f3134774f82 [diff] |
Promote version 8.13.2-dev to 8.13.2 Change-Id: Id91555bed0ea35769d297d0f42eb96f89b35dc07
diff --git a/src/main/java/com/android/tools/r8/Version.java b/src/main/java/com/android/tools/r8/Version.java index 3ed00a5..9308e89 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.2-dev"; + public static final String LABEL = "8.13.2"; private Version() { }