On Tue, 24 Jan 2012 16:14:03 +0000, David Edmondson <[email protected]> wrote: > Small changes as per Dmitry's last comments.
Pushed. d _______________________________________________ notmuch mailing list [email protected] http://notmuchmail.org/mailman/listinfo/notmuch
