coq/coq — pull request #32 by JasonGross (2014-08-06 14:08:02+00:00)
Title: Add some more entries to .mailmap

Most of these are deduplicating more email addresses of people already in .mailmap. The exception is that I've added @gmalecha, and chose which of his two addresses to use by which I had more emails from (both have 1 commit in the repo).