Merge "Merge branch release-2019 into master"
authorMark Abraham <mark.j.abraham@gmail.com>
Tue, 24 Sep 2019 16:03:08 +0000 (18:03 +0200)
committerMark Abraham <mark.j.abraham@gmail.com>
Tue, 24 Sep 2019 16:03:08 +0000 (18:03 +0200)

Trivial merge