fix for dump headers

Subject: fix for dump headers

Date: Tue, 28 Mar 2017 08:09:01 -0300

To: notmuch@notmuchmail.org

Cc:

From: 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 so. Opinions?

• Previous message (by thread): Re: fix for dump headers

Thread:

• David Bremner—fix for dump headers [inbox, unread]
  • David Bremner—[PATCH 1/2] test: add known broken test for dump header [inbox, notmuch::bug, notmuch::fixed, notmuch::patch, notmuch::pushed, unread]
    • David Bremner—Re: [PATCH 1/2] test: add known broken test for dump header [inbox, unread]
  • David Bremner—[PATCH 2/2] cli/dump: fix bug in dump header [inbox, notmuch::fix, notmuch::patch, notmuch::pushed, unread]
    • David Bremner—[PATCH] cli/dump: bump dump format version to 3 [inbox, notmuch::patch, notmuch::pushed, unread]
  • Tomi Ollila—Re: fix for dump headers [inbox, unread]
    • David Bremner—Re: fix for dump headers [inbox, unread]