Merge tag 'debian/0.25-1'
authorDavid Bremner <david@tethera.net>
Wed, 26 Jul 2017 14:02:16 +0000 (10:02 -0400)
committerDavid Bremner <david@tethera.net>
Wed, 26 Jul 2017 14:02:16 +0000 (10:02 -0400)
notmuch Debian 0.25-1 upload (same as 0.25)


Trivial merge