Re: fix for dump headers

2017-04-01 Thread Tomi Ollila
On Tue, Mar 28 2017, David Bremner wrote: > When I added message properties to the dump output I messed up the > copy-paste to add properties to the header. The fix is trivial, but > I'm not sure if this means we should bump the format version > (i.e. write #notmuch-dump:3) to denote the header c

Re: fix for dump headers

2017-04-01 Thread David Bremner
Tomi Ollila writes: > On Tue, Mar 28 2017, David Bremner wrote: > >> When I added message properties to the dump output I messed up the >> copy-paste to add properties to the header. The fix is trivial, but >> I'm not sure if this means we should bump the format version >> (i.e. write #notmuch-d