Tue, 30 Jul 2013 15:14:29 +0200Merge fix #470
Alpar Juttner <alpar@cs.elte.hu> [Tue, 30 Jul 2013 15:14:29 +0200] rev 1239
Merge fix #470

Tue, 30 Jul 2013 15:12:17 +0200Merge fix #470 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Tue, 30 Jul 2013 15:12:17 +0200] rev 1238
Merge fix #470 to branch 1.2