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