Add few people to .mailmap

goblint · Nov 27, 2023 · 975b502 · 975b502
1 parent 6d4f9e7
commit 975b502
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.mailmap b/.mailmap
@@ -23,6 +23,7 @@ Kerem Çakırer <kcakirer@hotmail.com> <cakirerkerem@gmail.com>
 Sarah Tilscher <66023521+stilscher@users.noreply.github.com>
 Karoliine Holter <karoliine.holter@ut.ee>
 <karoliine.holter@ut.ee> <44437975+karoliineh@users.noreply.github.com>
+<karoliine.holter@ut.ee> <karoliine.holter@hotmail.com>
 
 Elias Brandstetter <brandste@in.tum.de> <15275491+superbr4in@users.noreply.github.com>
 wherekonshade <wherekonshade@web.de> <80516286+Wherekonshade@users.noreply.github.com>
@@ -37,3 +38,6 @@ Mireia Cano Pujol <mcanopujol@gmail.com>
 Felix Krayer <felix@krayernet.eu>
 Felix Krayer <felix@krayernet.eu> <91671586+FelixKrayer@users.noreply.github.com>
 Manuel Pietsch <manuelpietsch@outlook.de>
+Tim Ortel <100865202+TimOrtel@users.noreply.github.com>
+Tomáš Dacík <xdacik00@stud.fit.vutbr.cz>
+<xdacik00@stud.fit.vutbr.cz> <43824605+TDacik@users.noreply.github.com>