commit d861659830aa92323a53ac476f95691f0afdb828
author William Hesse <whesse@google.com> Mon Jan 18 10:27:52 2016 +0100
committer William Hesse <whesse@google.com> Mon Jan 18 10:27:52 2016 +0100
tree 97559c013fa2e1e72af077d4e48e13db9ab51d0b
parent 858b4a4fc52b6c107e3e5274d3c0727709a74d0d
parent 6c4ec274b3936d53890b2df98fc4238bd46f968e

Version 1.14.0-dev.7.1

Cherry-pick a72ddf3a9d4eaa023e966cb39b52c4d78bb2186c to dev
Cherry-pick 82aeb1997ed6f9d84c117fb3f1636b5966ec2f62 to dev
Cherry-pick 9240052ebb59111bdcb58ed06b4a878347b8932f to dev
Cherry-pick 87c1bb4b39473fc59eb1cb6c04fc7c3fef8417ab to dev
Cherry-pick b508064e9e12bda7e454c24c326bc1601d382947 to dev
Cherry-pick ca1d105c5a110d356801a517d79550bff338a9bb to dev
Cherry-pick 0083cf8439be3d7c1aefbae4a541e63e1078e6c6 to dev
Cherry-pick 7b75f2dbb7642732f15ec3f810f91f8a6db3e4f6 to dev
Cherry-pick 28412d153e93c9421b1bfc6b304960d7de408169 to dev
Cherry-pick 04debc9c829cd5f7a34cdd03e7cd6682fa2e6cca to dev
Cherry-pick 6c2c928244450424e0f019c0e5ac5d85057684b5 to dev
Cherry-pick b2a186c2dd1b9407712382ac6e57396c7a57964b to dev
Cherry-pick a3e42b6f7b114e6600e0687872536a6be4caebf6 to dev
Cherry-pick 3dcef185d65c5bbe98162624ef4ddc49571702e2 to dev
Cherry-pick 4e35dd3b05ac9b05c9987d3b870b5e7ee10cb217 to dev

tools/VERSION

diff --git a/tools/VERSION b/tools/VERSION
index c28a186..3964b63 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 14
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 0
+PRERELEASE_PATCH 1