commit 6261f84277782b93e9cd8fca84aa480f3c4b6b6d
author William Hesse <whesse@google.com> Wed Oct 21 11:02:37 2015 +0200
committer William Hesse <whesse@google.com> Wed Oct 21 11:02:37 2015 +0200
tree 7950aa9d3527d2d0863e56c130d9a10ff9463767
parent bc94c5307390ff5b2f42b9f5d4c51a12f57a7d78
parent be1649113d0d2e2ec86930e4b6d32f825a671a8a

Version 1.13.0-dev.7.3

Cherry-pick f80bd4203de33faecad89983ec8d3fd35ceba4a4 to dev
Cherry-pick efc1d4b224821d4cbc64796c0348a6f019fa0649 to dev
Cherry-pick 4653701a7656136d2725b76497cf1a67a15dd4f4 to dev
Cherry-pick e562934defd630f77755d77c6f9108552977e4a0 to dev
Cherry-pick 1a1820bbe3bf3b393105a342b414730f9ba105d3 to dev
Cherry-pick 208e3f981a3e724dce8510332e1c0a576d89e3be to dev
Cherry-pick a9362610ee429a0b69653635039696f86976f564 to dev
Cherry-pick f145f89ccb4b807641914a0631e9c77995a29b20 to dev
Cherry-pick 58937b50ef2f81f441318f1dcdadf5a107b33533 to dev
Cherry-pick be1fcb944176bed2bf1294c78cd39844df67dda6 to dev
Cherry-pick cc0a9c3e7eb32588c219f7f16a1a806e88a397d3 to dev
Cherry-pick f9551da8e3f55734442be679369c00b234c19fa5 to dev
Cherry-pick 10915a849b324e3a9f3e2a37fc245709d0eda370 to dev
Cherry-pick b519e4c0001a0e84a7b45634057d0b4b51f0dd57 to dev
Cherry-pick 6bb8ce37391f0609bc26ead96f35badff9dd2840 to dev

tools/VERSION

diff --git a/tools/VERSION b/tools/VERSION
index fb4794f..f633fa3 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 13
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 1
+PRERELEASE_PATCH 2