Thu, 01 Nov 2018 11:27:05 +0100Suppress unused typdef warnings (#615)
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 01 Nov 2018 11:27:05 +0100] rev 1197
Suppress unused typdef warnings (#615)

Wed, 17 Oct 2018 22:56:43 +0200Merge #597
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 22:56:43 +0200] rev 1196
Merge #597