Re: [PATCH] mailmap: Map 'via Devel' mailing-list From-munged authors to real identities