Jameson Graef Rollins <jrollins at 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
