Merge remote-tracking branch 'github/pull/410'
authorTom Hughes <tom@compton.nu>
Wed, 12 May 2021 07:20:50 +0000 (08:20 +0100)
committerTom Hughes <tom@compton.nu>
Wed, 12 May 2021 07:20:50 +0000 (08:20 +0100)

Trivial merge