Merge branch 'release-0.76.3'
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Thu, 8 Oct 2020 17:33:23 +0000 (19:33 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Thu, 8 Oct 2020 17:33:23 +0000 (19:33 +0200)

Trivial merge