]> git.notmuchmail.org Git - notmuch/commitdiff
Merge branch 'release'
authorDavid Bremner <david@tethera.net>
Sun, 3 Sep 2023 13:20:40 +0000 (10:20 -0300)
committerDavid Bremner <david@tethera.net>
Sun, 3 Sep 2023 13:20:40 +0000 (10:20 -0300)

Trivial merge