Add a mailmap to merge similar email addresses in the git log (#353)
Add a mailmap to merge similar email addresses in the git log (#353)

Not sure this affects github, but it affects the git command line
arsenovic/clifford,arsenovic/clifford