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)