]> git.sesse.net Git - remoteglot/commitdiff
Merge remote-tracking branch 'magne/master'
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Wed, 12 Jul 2023 14:46:05 +0000 (16:46 +0200)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Wed, 12 Jul 2023 14:46:05 +0000 (16:46 +0200)

Trivial merge