commit | 76708c41d55dd5ba58c1519cb73f5ed37aeea2a0 | [log] [tgz] |
---|---|---|
author | William Hesse <whesse@google.com> | Wed Aug 23 13:52:11 2017 +0200 |
committer | William Hesse <whesse@google.com> | Wed Aug 23 13:57:45 2017 +0200 |
tree | 23d58dbfb97814343463d25778b59224447c5f9e | |
parent | 664ad8fead82986ca728167b357584d613eff127 [diff] | |
parent | b1bf62ca545230b33d4edcc7a0640ac936bf1621 [diff] |
Version 1.25.0-dev.12.0 Merge commit b1bf62ca545230b33d4edcc7a0640ac936bf1621 into dev
diff --git a/tools/VERSION b/tools/VERSION index 42b167d..ec69097 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 12 PRERELEASE_PATCH 0