Thu, 01 Nov 2018 19:49:51 +0100Merge #615
Alpar Juttner <alpar@cs.elte.hu> [Thu, 01 Nov 2018 19:49:51 +0100] rev 1417
Merge #615

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 1416
Suppress unused typdef warnings (#615)