Mon, 15 Oct 2018 23:39:22 +0200Fix warnings emitted by g++ 7.3.1 (#614)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 15 Oct 2018 23:39:22 +0200] rev 1179
Fix warnings emitted by g++ 7.3.1 (#614)

Mon, 15 Oct 2018 23:22:18 +0200Fix warnings emitted by VS2017 (#614)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 15 Oct 2018 23:22:18 +0200] rev 1178
Fix warnings emitted by VS2017 (#614)

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

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

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 1175
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 1174
Merge #1.3 related bugfix heads