Jameson Graef Rollins <jroll...@finestructure.net> writes: > No functional change here. The help message previously referred to > the "delete" tag, but "deleted" is now preferred, so hopefully this > will reduce any potential confusion.
I pushed this one patch from the series. d _______________________________________________ notmuch mailing list notmuch@notmuchmail.org http://notmuchmail.org/mailman/listinfo/notmuch