Merge "Merge branch release-2018 into release-2019" into release-2019
authorSzilárd Páll <pall.szilard@gmail.com>
Thu, 20 Dec 2018 17:02:33 +0000 (18:02 +0100)
committerSzilárd Páll <pall.szilard@gmail.com>
Thu, 20 Dec 2018 17:02:33 +0000 (18:02 +0100)

Trivial merge