Sun, 11 Aug 2013 15:30:30 +0200 Alpar Juttner Merge headmerge to branch 1.2 1.2
Sun, 11 Aug 2013 15:29:28 +0200 Alpar Juttner Merge >=1.2 branch heads
Sun, 11 Aug 2013 15:28:12 +0200 Alpar Juttner Merge >=1.2 branch heads