diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-12-03 10:12:12 -0500 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-12-03 10:12:21 -0500 |
commit | 7fa797cc258a55cf5f6cdfa8ab128b588e5d45e6 (patch) | |
tree | 0f2328a32b827fbadde477bc9100dd62f0f8f9a8 /.mailmap | |
parent | 0e72af57b82218bff3d2874a8100d411a7a2daee (diff) | |
download | ocaml-7fa797cc258a55cf5f6cdfa8ab128b588e5d45e6.tar.gz |
minor .mailmap update
Diffstat (limited to '.mailmap')
-rw-r--r-- | .mailmap | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -74,6 +74,7 @@ Thomas Leonard <talex5@github> Adrien Nader <adrien-n@github> Sébastien Hinderer <shindere@github> Gabriel Scherer <gasche@github> +Immanuel Litzroth <sdev@mantis> # These contributors prefer to be referred to pseudonymously <whitequark@mantis> <whitequark@mantis> |