[PATCH 7/9] CLI: add properties to dump output
[notmuch-archives.git] / 24 / 1a2c17bf01051824f57be02e623a09827f2620
2014-11-07 David BremnerRe: [PATCH] NEWS: News for notmuch-jump