This version fixes two minor formatting issues that Tomi pointed out [1]. There are no other changes.
[1] id:"[email protected]" _______________________________________________ notmuch mailing list [email protected] http://notmuchmail.org/mailman/listinfo/notmuch
