commit 60db428679d504b36d61d9de11ce20bef08ca296
author William Hesse <whesse@google.com> Thu Aug 20 15:23:11 2015 +0200
committer William Hesse <whesse@google.com> Thu Aug 20 15:23:11 2015 +0200
tree cc3126e68a859cbc79e4eb1923ad63d9227f022c
parent a679d28c7e7cdefb805d89cbe7d18b8e3a301dad
parent df054d76e9d101f44dd3d84b745c710995f7ed86

Version 1.12.0-dev.5.6

Cherry-pick 55a94d14ea79839f099a38914345e7746a98e839 to dev
Cherry-pick 3865dd87482bd54b8d33ba36b89d93943f82b3ba to dev
Cherry-pick e11ce8ba87952ee2efeb7ed8211801f6cb6d9c9d to dev
Cherry-pick 44f890b3c8a5963f348f771c1bd4ff656e7a466e to dev
Cherry-pick 43e6b8b8dba3138aa2dbe0eaa45bda7fd1e5927d to dev
Cherry-pick 98e67aa065809ded6e27cb27d3a46b06b77e90c2 to dev
Cherry-pick 4b80cfd69eaf98906f91e4d70894218a0121e05d to dev
Cherry-pick 5fa70c4220fb70fb20f2010fcb1c7466aa1fc71c to dev
Cherry-pick 6c7093dd1900e56dc325aada12a22cd5af9e3ca9 to dev
Cherry-pick f8f06d784ad1c9e67cbdb5e25eb08d0c62ca8d8c to dev
Cherry-pick 2d38e15b82243259573a8ff15f5d1736563e4f71 to dev
Cherry-pick e3963b88d1a58c2823d57d5cae13bf6d6eec9e3c to dev

tools/VERSION

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