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: