summaryrefslogtreecommitdiff
path: root/.mailmap
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2016-12-29 09:21:12 -0500
committerGabriel Scherer <gabriel.scherer@gmail.com>2016-12-29 09:21:12 -0500
commit49eec802ea859c63b4bbf1302ed5373fa6063a11 (patch)
tree05a11e45f290f320082c816624359f1eda0af968 /.mailmap
parent5b496d013c48818e89762e95803913c8334c5b97 (diff)
downloadocaml-49eec802ea859c63b4bbf1302ed5373fa6063a11.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 24d514b7aa..b4483d021c 100644
--- a/.mailmap
+++ b/.mailmap
@@ -75,6 +75,7 @@ Adrien Nader <adrien-n@github>
Sébastien Hinderer <shindere@github>
Gabriel Scherer <gasche@github>
Immanuel Litzroth <sdev@mantis>
+Jacques Le Normand <rathereasy@github>
# These contributors prefer to be referred to pseudonymously
<whitequark@mantis> <whitequark@mantis>