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

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

fix for dump headers

2017-03-28 Thread David Bremner
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 can be relied upon. I guess it doesn't hurt to do