[PATCH 1/4] Add user.other_name property to associate names with other_email.
[notmuch-archives.git] / 94 / e9a7520ed0c669e7ccb0cfdd971db11ae0a669
2014-11-07 David BremnerRe: [PATCH] Start devel directory for developer tools...