Re: [PATCH] configure: replace multiple redirects with redirected block

Subject:Re: [PATCH] configure: replace multiple redirects with redirected block

Date:Sat, 18 Jul 2020 12:00:04 -0300

To:Tomi Ollila ,notmuch@notmuchmail.org

Cc:

From:David Bremner


David Bremner <david@tethera.net> writes:

> This belatedly implements Tomi's suggestion from
>
>      id:m25zaukv6u.fsf@guru.guru-group.fi

applied to master.

d
_______________________________________________
notmuch mailing list -- notmuch@notmuchmail.org
To unsubscribe send an email to notmuch-leave@notmuchmail.org

Thread: