diff --git a/.mailmap b/.mailmap index c7e8618300..48d7acf013 100644 --- a/.mailmap +++ b/.mailmap @@ -73,6 +73,7 @@ Nguyễn Thái Ngọc Duy Peter Krefting Peter Krefting +Petr Baudis Philippe Bruhat Ralf Thielow Ramsay Allan Jones