Sun, 11 Aug 2013 15:31:02 +0200Merge headmerge to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 15:31:02 +0200] rev 1287
Merge headmerge to branch 1.3

Sun, 11 Aug 2013 15:30:30 +0200Merge headmerge to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 15:30:30 +0200] rev 1286
Merge headmerge to branch 1.2

Sun, 11 Aug 2013 15:29:28 +0200Merge >=1.2 branch heads
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 15:29:28 +0200] rev 1285
Merge >=1.2 branch heads

Sun, 11 Aug 2013 15:28:12 +0200Merge >=1.2 branch heads
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 15:28:12 +0200] rev 1284
Merge >=1.2 branch heads