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)
commitc61260e0f716c32334ef32c759616f12f49b579e
treefcf52c0b943a2cd29d9577968b2e8c7aa50b9b85
parentc7dacdb83494737d9a23f9ceb682d34fdd84d631
parent72fe49d88565fc1dd807a0e185a5aa6fc4989ea0
Merge Thomas Miedema’s syn-all improvments

as submitted on #9212.
sync-all