Alpar Juttner <alpar@cs.elte.hu> [Thu, 01 Nov 2018 19:49:51 +0100] rev 1417
Merge #615
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 01 Nov 2018 11:27:05 +0100] rev 1416
Suppress unused typdef warnings (#615)
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 22:56:43 +0200] rev 1415
Merge #597