summaryrefslogtreecommitdiff
path: root/.mailmap
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2016-06-22 14:41:42 -0400
committerGabriel Scherer <gabriel.scherer@gmail.com>2016-06-22 14:41:42 -0400
commit704194d7b2501c10ac18115a5726d563e9dcd728 (patch)
tree24537f59bb0fbffc87d14e099b553c388cfa6530 /.mailmap
parentada91e082ac17bef6f17b7a6bb5100689926473e (diff)
downloadocaml-704194d7b2501c10ac18115a5726d563e9dcd728.tar.gz
minor: update .mailmap
Diffstat (limited to '.mailmap')
-rw-r--r--.mailmap1
1 files changed, 1 insertions, 0 deletions
diff --git a/.mailmap b/.mailmap
index 34b78c79d1..63d6a64532 100644
--- a/.mailmap
+++ b/.mailmap
@@ -64,6 +64,7 @@ Junsong Li <ljs.darkfish@gmail.com>
Christophe Raffali <craff@mantis>
Anton Bachin <antron@mantis>
Reed Wilson <omion>
+David Scott <djs55>
# These contributors prefer to be referred to pseudonymously
<whitequark@mantis> <whitequark@mantis>