Wed, 07 Oct 2015 18:49:46 +0200Merge #597
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Oct 2015 18:49:46 +0200] rev 1154
Merge #597