From 5f3d75e7b2bdc997c20b6581dcabf145e4c45e3b Mon Sep 17 00:00:00 2001
From: Dimitri Papadopoulos
 <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Date: Sun, 26 Nov 2023 12:33:38 +0100
Subject: [PATCH] Merge my different identities in Git history

Signed-off-by: Dimitri Papadopoulos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
---
 .mailmap | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.mailmap b/.mailmap
index 105e1017..3fe4baa7 100644
--- a/.mailmap
+++ b/.mailmap
@@ -5,3 +5,5 @@ Nikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com> <nikos@esat.kuleuven.be>
 Alan Jowett <alanjo@microsoft.com> <alan.jowett@microsoft.com>
 Alan Jowett <alanjo@microsoft.com> <1232265-Alan_Jowett@users.noreply.gitlab.com>
 Mike Miller <mtmiller@debian.org> <mtmiller@ieee.org>
+Dimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com> <3234522+DimitriPapadopoulos@users.noreply.github.com>
+Dimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com> <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>