On Sunday, 21 April 2019 at 09:29:45 UTC, Bastiaan Veelo wrote:
Presumably, contributors Boris Carvajal and BorisCarvajal are the same Boris :-)
Our git mailmap¹ file lives in the tools repo, see https://github.com/dlang/tools/pull/367.
¹: https://www.git-scm.com/docs/git-check-mailmap#_mapping_authors
