Merge branch 'master' of git.martlubbers.net:dotfiles
authorMart Lubbers <mart@martlubbers.net>
Wed, 3 Jul 2024 07:20:08 +0000 (09:20 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 3 Jul 2024 07:20:08 +0000 (09:20 +0200)

Trivial merge