Re: fix for dump headers

Subject: Re: fix for dump headers

Date: Sat, 01 Apr 2017 09:41:20 -0300

To: Tomi Ollila, notmuch@notmuchmail.org

Cc:

From: David Bremner


Tomi Ollila <tomi.ollila@iki.fi> writes:

> On Tue, Mar 28 2017, David Bremner <david@tethera.net> 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 can be relied
>> upon. I guess it doesn't hurt to do so. Opinions?
>
> I'd say bump the format version... so rest of the series LGTM.
>
> Tomi

OK, pushed to master and release

d

Thread: