summaryrefslogtreecommitdiff
path: root/.mailmap
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2016-12-03 10:12:12 -0500
committerGabriel Scherer <gabriel.scherer@gmail.com>2016-12-03 10:12:21 -0500
commit7fa797cc258a55cf5f6cdfa8ab128b588e5d45e6 (patch)
tree0f2328a32b827fbadde477bc9100dd62f0f8f9a8 /.mailmap
parent0e72af57b82218bff3d2874a8100d411a7a2daee (diff)
downloadocaml-7fa797cc258a55cf5f6cdfa8ab128b588e5d45e6.tar.gz
minor .mailmap update
Diffstat (limited to '.mailmap')
-rw-r--r--.mailmap1
1 files changed, 1 insertions, 0 deletions
diff --git a/.mailmap b/.mailmap
index aa25413e7f..24d514b7aa 100644
--- a/.mailmap
+++ b/.mailmap
@@ -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>