When looking at our Git tree for a recent conference presentation I happened to
notice that we have recently gained duplicate names in the shortlog. Not sure
if we care enough to fix that with a .mailmap, but if we do the attached diff
makes sure that all commits are accounted for a single committer entry.
--
Daniel Gustafsson