Merge branch 'release-0.73.0'
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Tue, 23 Jun 2020 16:45:33 +0000 (18:45 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Tue, 23 Jun 2020 16:45:33 +0000 (18:45 +0200)

Trivial merge