Sun, 11 Aug 2013 15:31:02 +0200 Alpar Juttner Merge headmerge to branch 1.3 1.3
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