diff options
Diffstat (limited to 'check-THANKS.pl')
-rwxr-xr-x | check-THANKS.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/check-THANKS.pl b/check-THANKS.pl index 500048536..e8e02781d 100755 --- a/check-THANKS.pl +++ b/check-THANKS.pl @@ -38,8 +38,8 @@ my %name_map = ("Darin as Andy" => "Darin Adler", "Michael K. Fleming" => "Mike Fleming", "Rebecka Schulman" => "Rebecca Schulman", "Michael Engber" => "Mike Engber", - "Pavel Cisler" => "Pavel Císler", - "Pavel" => "Pavel Císler", + "Pavel Císler" => "Pavel Cisler", + "Pavel" => "Pavel Cisler", "Eskil Olsen" => "Eskil Heyn Olsen", "Szabolcs BAN" => "Szabolcs Ban", "arik devens" => "Arik Devens", |