coq/coq — pull request #35 by JasonGross (2014-08-26 15:41:53+00:00)
Title: Add t-jagro to .mailmap

Re-creating the pull request, since I can't seem to figure out how to re-open it after the aborted merge.