Wed, 17 Oct 2018 18:56:08 +0200 Alpar Juttner Merge #1.3 related bugfix heads
Wed, 17 Oct 2018 18:55:53 +0200 Alpar Juttner Merge #1.3 related bugfix heads
Fri, 23 Mar 2018 16:09:27 +0100 Alpar Juttner Merge bugfix #608 to branch 1.3 1.3