Wed, 07 Aug 2013 06:31:47 +0200Merge #294 to branch 1.1 1.1
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Aug 2013 06:31:47 +0200] rev 808
Merge #294 to branch 1.1