commit 9d081c93020035d9d85114becaa860953c175e0d
author William Hesse <whesse@google.com> Thu Aug 13 11:08:07 2015 +0200
committer William Hesse <whesse@google.com> Thu Aug 13 11:08:07 2015 +0200
tree 7bda80f199a5e6eef5121f5035f3da6888c07953
parent a5c19bdb713bd3bd18bb47fe13fc2d9f220078e9
parent 1400b1856053978b05c6677c63d18c357b5815ec

Version 1.12.0-dev.5.3

Cherry-pick f3f52d4b59081e2f294126ac7f69f902968692d7 to dev
Cherry-pick b30a7a1750cd13c92781480f8708974b84385cad to dev
Cherry-pick 73cfbce0bca51c92e589fc7d85869478f044dc11 to dev
Cherry-pick b6ffeafbee0eb22de30c88d2cb1b9bcf3bfe9723 to dev
Cherry-pick a8e2180b781ad82d81206696da220a920310b5db to dev
Cherry-pick fc55f38aaf053a62d1959b09644ecff49fc35d43 to dev
Cherry-pick 56c91201c32b8213d37849e22dbabf392eef1bd6 to dev
Cherry-pick c06e66c9b92cc6a5faf6179c43fdb3a0bec6e34c to dev
Cherry-pick 532474ab358eea3b85312465f4fa60626a0b820b to dev
Cherry-pick cc981c8246e28e21fe84b8ec00b7a2eac9719102 to dev
Cherry-pick 480cd7fdc82dc861745acda57ebd9341aaf1bd80 to dev

tools/VERSION

diff --git a/tools/VERSION b/tools/VERSION
index d45b9a4..3f0c944 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 12
 PATCH 0
 PRERELEASE 5
-PRERELEASE_PATCH 2
+PRERELEASE_PATCH 3