Wed, 17 Oct 2018 19:18:04 +0200 Alpar Juttner Merge bugfixes #610,#611,#612,#614 to branch 1.3 1.3 tip
Wed, 17 Oct 2018 19:14:07 +0200 Alpar Juttner Merge default
Mon, 16 Jul 2018 16:21:40 +0200 Peter Kovacs Change typenames to avoid Windows-specific compile issue (#612)