Wed, 07 Aug 2013 07:09:31 +0200Merge #294 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Aug 2013 07:09:31 +0200] rev 1263
Merge #294 to branch 1.2