From 8204af09693b9776790799f2ad5fc6cb78c431c3 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Mon, 11 May 2020 10:25:12 -0500 Subject: [PATCH] add a mailmap entry --- .mailmap | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.mailmap b/.mailmap index 5b26fdc13f..775dd878c7 100644 --- a/.mailmap +++ b/.mailmap @@ -85,3 +85,6 @@ Krishnakumar Gopalakrishnan + +# +Ignacio Tomas -- 2.39.5