Wed, 13 Jul 2011 15:04:03 +0200Merge #419
Alpar Juttner <alpar@cs.elte.hu> [Wed, 13 Jul 2011 15:04:03 +0200] rev 1066
Merge #419

Wed, 13 Jul 2011 14:52:22 +0200Merge #419 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 13 Jul 2011 14:52:22 +0200] rev 1065
Merge #419 to branch 1.2