commit 426edff01629bb92ac8e88f27ae25404c35f769b
author Dan Grove <dgrove@google.com> Thu Nov 12 16:08:17 2015 -0800
committer Dan Grove <dgrove@google.com> Thu Nov 12 16:08:17 2015 -0800
tree b10671cbab87785716afbb7c6d58e2194af413f9
parent 1b051fc6201eb1b3891d5dc0b702c91f615af5a0
parent c2a073e30faf68480fe4a0431569b182317de86c

Version 1.13.0-dev.7.11

cherry-pick bf713555bffaece660b0df2ee5fed44603fa5c9a to dev
cherry-pick 00396f5df0b2a9c471a760af9e55cbe5a5acb39b to dev
cherry-pick e1c39602ba1ef866934f35d3d8a0ab7f8efa38e5 to dev
cherry-pick 02fe5bcd5af7b25e0ff2fd73c751865b323baf85 to dev
cherry-pick 5b61845221b0d40f31edf5cfc2155e2253b2aa72 to dev
cherry-pick a19b2985dcee58b92a5324842051b72642793e4b to dev
cherry-pick a21e3a5a7f954649434c1edfa6cba5c0e99f8bc9 to dev
cherry-pick eac5a0eb15d79f0cc048ca3bd909f434c36696ee to dev

tools/VERSION

diff --git a/tools/VERSION b/tools/VERSION
index 33535da..ba645bc 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 13
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 10
+PRERELEASE_PATCH 11