Re: [PATCH v2 06/17] cli/show: add information about which headers were protected

Subject: Re: [PATCH v2 06/17] cli/show: add information about which headers were protected

Date: Mon, 27 May 2019 17:34:31 +0000

To: David Bremner, Daniel Kahn Gillmor, Notmuch Mail

Cc:

From: Rollins, Jameson


On Mon, May 27 2019, David Bremner <david@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.
_______________________________________________
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch

Thread: