[PATCH 7/9] CLI: add properties to dump output
[notmuch-archives.git] / 6c / 18e0ec245568ef557bb94155ddfc36a07097f8
2014-11-07 Austin ClementsRe: Patch: Flush and Reopen