2020-02-28 | Paul Bauer | Merge branch release-2019 into release-2020 | blob | commitdiff | raw |
2020-01-08 | Roland Schulz | Merge release-2019 into release-2020 | blob | commitdiff | raw |
2019-12-27 | Paul Bauer | Merge origin/release-2019 into release-2020 | blob | commitdiff | raw |
2019-12-23 | Paul Bauer | Add files for Gitlab CI | blob | commitdiff | raw |
2019-12-12 | Mark Abraham | Merge "Merge branch 'origin/release-2020' into master" | blob | commitdiff | raw |
2019-12-09 | Paul Bauer | Hopefully final gitlab CI fix | blob | commitdiff | raw |