Index user defined headers

Subject: Index user defined headers

Date: Wed, 27 Mar 2019 08:16:18 -0300



From: David Bremner

This obsoletes [1]. Compared to the previous version the main change
is that it imposes the restriction that user defined prefixes may not
start with [a-z], and must consist of "unicode word characters". This
assumes a utf8 input encoding. People that don't like utf8 are welcome
to use ASCII :P


notmuch mailing list