]> git.notmuchmail.org Git - notmuch/commitdiff
Merge branch 'release'
authorDavid Bremner <david@tethera.net>
Mon, 17 Jun 2019 05:07:45 +0000 (07:07 +0200)
committerDavid Bremner <david@tethera.net>
Mon, 17 Jun 2019 05:07:45 +0000 (07:07 +0200)
1  2 
configure

diff --cc configure
Simple merge