Thu, 01 Nov 2018 19:49:08 +0100Merge #615 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Thu, 01 Nov 2018 19:49:08 +0100] rev 1422
Merge #615 to branch 1.3