On Wed, 1 Feb 2012 21:37:21 +0100, Pieter Praet <[email protected]> wrote: > Thanks to Dmitry Kurochkin <[email protected]> > for pointing this out: id:"[email protected]"
Pushed. d _______________________________________________ notmuch mailing list [email protected] http://notmuchmail.org/mailman/listinfo/notmuch
