From 117e4251a11fb61dd1bca8cdcfe04b3f95410f9b Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Fri, 18 Nov 2022 09:49:27 +0100 Subject: [PATCH] .mailmap: add Helmut Grohne and Benjamin Drung --- .mailmap | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.mailmap b/.mailmap index 9c7a9da..710eec9 100644 --- a/.mailmap +++ b/.mailmap @@ -1,2 +1,4 @@ Johannes Schauer Marin Rodrigues Johannes Schauer Marin Rodrigues +Helmut Grohne +Benjamin Drung