diff --git a/.mailmap b/.mailmap index ac4210bdd8..c5e6f1401e 100644 --- a/.mailmap +++ b/.mailmap @@ -11,6 +11,7 @@ Matthew Flatt Matthew Flatt Matthew Flatt Matthew Flatt +Matthew Flatt Kathy Gray Kathy Gray Matthias Felleisen