Further clean up checkAUTHORS.pl output (fixing encoded @ signs)

diff --git a/Porting/checkAUTHORS.pl b/Porting/checkAUTHORS.pl
index 44a1c8a..61c6a7f 100644 (file)
--- 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;
 }