Add mailmap entry

diff --git a/.mailmap b/.mailmap
index 9b65f74371488aa2d78599658b0aaf3e808ec2bc..5b26fdc13f4e530c875ae14c73427472294ad25d 100644 (file)
--- a/.mailmap
+++ b/.mailmap
@@ -82,3 +82,6 @@ Alexander Grayver <agrayver@erdw.ethz.ch> <agrayver@agrayver-VirtualBox.(none)>
 Krishnakumar Gopalakrishnan <krishna.kumar@ucl.ac.uk>
 Krishnakumar Gopalakrishnan <krishna.kumar@ucl.ac.uk> <krishnak@vt.edu>
 Krishnakumar Gopalakrishnan <krishna.kumar@ucl.ac.uk> <krishnakumarg1984@users.noreply.github.com>
+
+#
+Menno Fraters <menno.fraters@outlook.com>