Wed, 29 Jul 2020 14:56:10 +0200Fix clang compilation issue (#634) default tip
Alpar Juttner <alpar@cs.elte.hu> [Wed, 29 Jul 2020 14:56:10 +0200] rev 1211
Fix clang compilation issue (#634)

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)