Tue, 28 Jul 2020 21:23:36 +0200Resolve deprecation warnings of gcc 9 (#633)
Alpar Juttner <alpar@cs.elte.hu> [Tue, 28 Jul 2020 21:23:36 +0200] rev 1210
Resolve deprecation warnings of gcc 9 (#633)