Merge branch 'release-0.76.5'
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Wed, 14 Oct 2020 15:44:47 +0000 (17:44 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Wed, 14 Oct 2020 15:44:47 +0000 (17:44 +0200)

Trivial merge