Wed, 17 Oct 2018 18:56:08 +0200Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:56:08 +0200] rev 1393
Merge #1.3 related bugfix heads

Wed, 17 Oct 2018 18:55:53 +0200Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:55:53 +0200] rev 1392
Merge #1.3 related bugfix heads