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 notmuch-le...@notmuchmail.o
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 +15