diff options
| -rw-r--r-- | Porting/checkAUTHORS.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Porting/checkAUTHORS.pl b/Porting/checkAUTHORS.pl index 44a1c8ac84..61c6a7f5c4 100644 --- a/Porting/checkAUTHORS.pl +++ b/Porting/checkAUTHORS.pl @@ -232,7 +232,8 @@ sub _raw_address { } $addr = lc $addr; $addr = $map{$addr} || $addr; - + $addr =~ s/\\100/@/g; # Sometimes, there are encoded @ signs in the git log. + if ($real_name) { $real_names{$addr} = $real_name}; return $addr; } |