Hi all. Are there any objections to these changes?
Otherwise, I would ask David to push it as "minor, boring and trivial" changes. Regards, Dmitry _______________________________________________ notmuch mailing list [email protected] http://notmuchmail.org/mailman/listinfo/notmuch
