Re: fix for dump headers

Subject: Re: fix for dump headers

Date: Sat, 01 Apr 2017 14:12:50 +0300

To: David Bremner, notmuch@notmuchmail.org

Cc:

From: Tomi Ollila


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

Thread: