commit ec143d4dd797bd487933a722229950b18b1aaca6
author William Hesse <whesse@google.com> Fri Oct 23 12:49:48 2015 +0200
committer William Hesse <whesse@google.com> Fri Oct 23 12:49:48 2015 +0200
tree 5acaf3b21558b5d07f28c878ce11e8ad82f18b45
parent 6261f84277782b93e9cd8fca84aa480f3c4b6b6d
parent fd55ebdee7ffd7accc555f58d8b6bb088fc4cde3

Version 1.13.0-dev.7.3

Cherry-pick b459efe0876951f8d82aebfa37fa5f5fa08755ef to dev
Cherry-pick 6a816f2dc19040f6dcd00f2d7c777b298b7e547a to dev
Cherry-pick 0beba7576f8e75a4dae54088922ae9ab5bbffbba to dev
Cherry-pick 29f3baf6465fe2d35b5d6ab49e6df0dff300fbd5 to dev
Cherry-pick 4e41dc0d66d240e20a5e470b66d9071ffad96094 to dev
Cherry-pick 1a7528174263af0a95d7edf51c01a2b3d1b568ff to dev
Cherry-pick ff200c11fad63dcbdc9f34645fb23eb2e949f14f to dev
Cherry-pick b90b67588a8885ae4bdfa7bc4a031f31a3d72a90 to dev
Cherry-pick 2586267dbb716991bb6634d4992f4dead252a347 to dev
Cherry-pick 4e5938f373cc47cb6266c7b76af1c913fbcd47bc to dev
Cherry-pick 41522f803a7c6df4d7bacce0a587da90d613b402 to dev
Cherry-pick 1fa2ef874d61eb3ea994d26009cb2d02a86e5bf3 to dev
Cherry-pick d164c23394d2afd34c7cd4d2dc96940789db7c77 to dev
Cherry-pick d796048fccea932b074a508505ccea1ab283f354 to dev
Cherry-pick e4a156785bdaa8ffda4c907559c3a8e35f6b6cdc to dev
Cherry-pick 54aee614a29c62c7b2fad43e07954a987754d37a to dev
Cherry-pick 9fc82d04aab3b569098fe7c6fab756afa1203e2b to dev

tools/VERSION

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