Merge branch 'release-0.56.1'
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sun, 28 Jul 2019 15:06:46 +0000 (17:06 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sun, 28 Jul 2019 15:06:46 +0000 (17:06 +0200)

Trivial merge