JuliaLang/julia — comment on commit 12a3932f7b0df0a79eb6933532f94e82e0081a2e
File:  line 0
By StefanKarpinski:

Can you fix your git username on this machine? I added a .mailmap entry, but this looks ugly in commits.