commit | d809e77acd4bdb188e64fa9add34bd108f35dba1 | [log] [tgz] |
---|---|---|
author | William Hesse <whesse@google.com> | Thu Aug 24 11:16:51 2017 +0200 |
committer | William Hesse <whesse@google.com> | Thu Aug 24 11:16:51 2017 +0200 |
tree | c869f8f3909804c087f8e3a413d06aa8f8beffea | |
parent | 76708c41d55dd5ba58c1519cb73f5ed37aeea2a0 [diff] | |
parent | f539785e038351d94973ec5aa8b9b546e63287b9 [diff] |
Version 1.25.0-dev.13.0 Merge commit 'f539785e038351d94973ec5aa8b9b546e63287b9' into dev
diff --git a/tools/VERSION b/tools/VERSION index 42b167d..8656c83 100644 --- a/tools/VERSION +++ b/tools/VERSION
@@ -23,9 +23,9 @@ # * Making cherry-picks to stable channel # - increase PATCH by 1 # -CHANNEL be +CHANNEL dev MAJOR 1 MINOR 25 PATCH 0 -PRERELEASE 0 +PRERELEASE 13 PRERELEASE_PATCH 0