[PATCH 7/9] CLI: add properties to dump output
[notmuch-archives.git] / 4a / 35f78d3ef3cd1c4cd72e672a01819c6ca5ef1c
2016-08-20 Sebastian FischmeisterRe: UnicodeDecodeError with python API