From: David Bremner <david@tethera.net>
Date: Mon, 13 Jun 2016 01:05:54 +0000 (-0300)
Subject: CLI: add properties to dump output
X-Git-Tag: 0.23_rc0~14
X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=b7345d277ec5f562000c0e740e6515c2a84f9c76;hp=b7345d277ec5f562000c0e740e6515c2a84f9c76;p=notmuch

CLI: add properties to dump output

Part of providing extensibility via properties is to make sure that user
data is not lost. Thus we need to be able to dump and restore
properties.
---