Mon, 15 Oct 2018 23:22:18 +0200 | Alpar Juttner | Fix warnings emitted by VS2017 (#614) | changeset | files |
Wed, 17 Oct 2018 18:56:39 +0200 | Alpar Juttner | Merge #1.3 related bugfix heads | changeset | files |
Wed, 17 Oct 2018 18:56:32 +0200 | Alpar Juttner | Merge #1.3 related bugfix heads | changeset | files |
Wed, 17 Oct 2018 18:56:08 +0200 | Alpar Juttner | Merge #1.3 related bugfix heads | changeset | files |