Merge Thomas Miedema’s syn-all improvments
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 26 Jun 2014 02:21:28 +0000 (19:21 -0700)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 26 Jun 2014 02:21:28 +0000 (19:21 -0700)
as submitted on #9212.

1  2 
sync-all

diff --cc sync-all
Simple merge