Merge branch 'master' of gburri.org:recipes
authorGreg Burri <greg.burri@gmail.com>
Thu, 17 Nov 2022 23:24:39 +0000 (00:24 +0100)
committerGreg Burri <greg.burri@gmail.com>
Thu, 17 Nov 2022 23:24:39 +0000 (00:24 +0100)

Trivial merge