[PATCH 7/9] CLI: add properties to dump output
[notmuch-archives.git] / 4a / 32ccc8a316e641b77e451ab483bab6f79a8608
2014-11-07 David Bremner[PATCH] configure: change gmime version in help message...