Merge branch 'master' of git.martlubbers.net:clean-tests into master
authorMart Lubbers <mart@martlubbers.net>
Wed, 11 Nov 2020 06:33:05 +0000 (07:33 +0100)
committerMart Lubbers <mart@martlubbers.net>
Wed, 11 Nov 2020 06:33:05 +0000 (07:33 +0100)

Trivial merge