Fixed get-authors.

diff --git a/contrib/get-authors b/contrib/get-authors
index 59187a81cba78eefe2360ca298a8b37f0ec502b6..bdf3314005797d4668e12a86d7b85ca94cb60a09 100755 (executable)
--- a/contrib/get-authors
+++ b/contrib/get-authors
@@ -40,6 +40,9 @@ while [ $# -gt 0 ]; do
     sed 's/guykatzz/Guy/' | \
     sed 's/Guy Katz/Guy/' | \
     sed 's/Guy/Guy Katz/' | \
+    sed 's/Martin Brain/Martin/' | \
+    sed 's/Martin/Martin Brain/' | \
+    sed 's/justinxu421/Justin Xu/' | \
     eval "$strip_email" | \
     sort | uniq -c | sort -nr | head -n 3 | \
     ( while read lines author; do