[PATCH 4/4] Update NEWS for user.other_name
[notmuch-archives.git] / 94 / e9a7520ed0c669e7ccb0cfdd971db11ae0a669
2014-11-07 David BremnerRe: [PATCH] Start devel directory for developer tools...