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

David Bremner writes: > This belatedly implements Tomi's suggestion from > > id:m25zaukv6u@guru.guru-group.fi applied to master. d ___ notmuch mailing list -- notmuch@notmuchmail.org To unsubscribe send an email to

[PATCH] configure: replace multiple redirects with redirected block

This belatedly implements Tomi's suggestion from id:m25zaukv6u@guru.guru-group.fi --- configure | 20 ++-- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/configure b/configure index b4ee7f37..d3b843b9 100755 --- a/configure +++ b/configure @@ -1549,16