Thu, 08 Oct 2015 10:13:24 +0200Merge #600
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 Oct 2015 10:13:24 +0200] rev 1155
Merge #600