Skip to content

Commit

Permalink
Update AUTHORS.
Browse files Browse the repository at this point in the history
[ci skip]
  • Loading branch information
23Skidoo committed Jan 11, 2017
1 parent 0dfc37c commit 41bdd49
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 0 deletions.
4 changes: 4 additions & 0 deletions .mailmap
Expand Up @@ -74,6 +74,8 @@ Jim Burton <jim@sdf-eu.org>
Joe Quinn <headprogrammingczar@gmail.com>
Joel Stanley <intractable@gmail.com>
Joeri van Eekelen <tchakkazulu@gmail.com>
John Ericson <Ericson2314@yahoo.com> <Ericson2314@Yahoo.con>
John Ericson <Ericson2314@yahoo.com> <jericson@galois.com>
John D. Ramsdell <ramsdell@mitre.org>
John Dias <dias@eecs.harvard.edu> dias <dias@eecs.harvard.edu>
Josh Hoyt <josh.hoyt@galois.com>
Expand Down Expand Up @@ -101,6 +103,8 @@ Peter Simons <simons@cryp.to>
Peter Trško <peter.trsko@gmail.com> Peter Trsko <peter.trsko@ixperta.com>
Philipp Schuster <pschuster@uni-koblenz.de>
Randy Polen <randen@users.noreply.github.com>
Robert Henderson <rob@robjhen.com> <robjhen@users.noreply.github.com>
Robert Henderson <rob@robjhen.com> <rob at robjhen dot com>
Ryan Scott <ryan.gl.scott@gmail.com> <ryan.gl.scott@ku.edu>
Samuel Gélineau <gelisam+github@gmail.com>
Sergei Trofimovich <slyfox@community.haskell.org> <slyfox@gentoo.org>
Expand Down
1 change: 1 addition & 0 deletions AUTHORS
Expand Up @@ -222,6 +222,7 @@ Reid Barton <rwbarton@gmail.com>
Richard Eisenberg <eir@cis.upenn.edu>
Ricky Elrod <ricky@elrod.me>
Robert Collins <robertc@robertcollins.net>
Robert Henderson <rob@robjhen.com>
Roberto Zunino <zunrob@users.sf.net>
Robin Green <greenrd@greenrd.org>
Robin KAY <komadori@gekkou.co.uk>
Expand Down

0 comments on commit 41bdd49

Please sign in to comment.