Index user defined headers v2

Subject: Index user defined headers v2

Date: Sun, 28 Apr 2019 20:10:40 -0300

To: David Bremner,


From: David Bremner

It turned out to be not-completely-trivial to rebase onto master, so I
decided to post the rebased patches for potential review. I also did a
bunch of cosmetic changes, but other than not breaking body:
searching, there are no functionality changes since [1]


notmuch mailing list