[PATCH v2 06/17] cli/show: add information about which headers were protected
jrollins at caltech.edu
Mon May 27 10:34:31 PDT 2019
On Mon, May 27 2019, David Bremner <david at tethera.net> wrote:
> The name "header-mask" is a bit generic, but I don't have my head in
> this topic like you do. I was thinking of something like
> "replaced-headers", but it's only a mild suggestion.
I think the point is that the headers are more accurately "masked" than
"replaced", since you can look under the hood and recover what the
original header was.
More information about the notmuch