Merge my different identities in Git history

Signed-off-by: Dimitri Papadopoulos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
This commit is contained in:
Dimitri Papadopoulos
2023-11-26 12:33:38 +01:00
parent 20310ec202
commit 5f3d75e7b2

View File

@@ -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> <alan.jowett@microsoft.com>
Alan Jowett <alanjo@microsoft.com> <1232265-Alan_Jowett@users.noreply.gitlab.com> Alan Jowett <alanjo@microsoft.com> <1232265-Alan_Jowett@users.noreply.gitlab.com>
Mike Miller <mtmiller@debian.org> <mtmiller@ieee.org> 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>