Jinwoo Lee <[email protected]> writes: > Yup. It works! Thanks for the quick fix. Is this going to be merged > to HEAD soon? >
Probably in the next day or so, unless somebody complains. d _______________________________________________ notmuch mailing list [email protected] http://notmuchmail.org/mailman/listinfo/notmuch
