1 files changed, 8 insertions, 1 deletions
diff --git a/tools/update-authors.js b/tools/update-authors.js
index 3d7fcb14b2..312f253c48 100755
--- a/tools/update-authors.js
+++ b/tools/update-authors.js
@@ -7,6 +7,13 @@ const path = require('path');
 const fs = require('fs');
 const readline = require('readline');
 
+class CaseIndifferentMap {
+  _map = new Map();
+
+  get(key) { return this._map.get(key.toLowerCase()); }
+  set(key, value) { return this._map.set(key.toLowerCase(), value); }
+}
+
 const log = spawn(
   'git',
   // Inspect author name/email and body.
@@ -23,7 +30,7 @@ else
 
 output.write('# Authors ordered by first contribution.\n\n');
 
-const mailmap = new Map();
+const mailmap = new CaseIndifferentMap();
 {
   const lines = fs.readFileSync(path.resolve(__dirname, '../', '.mailmap'),
                                 { encoding: 'utf8' }).split('\n');