THANKS-filter: more name cleanups

diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index 6c24632c980b0b408714a40125e732b84c6ac4af..defd605129883ae86979196b3440ae7259c2c645 100644 (file)
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -58,9 +58,13 @@ s/Jan-E/Jan Ehrhardt/
 s/Paras S$/Paras Sethia/
 s/Cristian Rodr\xEDguez$/Cristian Rodríguez/
 s/Sidney San Mart\xEDn$/Sidney San Martín/
+s/Sidney San Martin$/Sidney San Martín/
 s/Taneli V\xE4h\xE4kangas$/Taneli Vähäkangas/
+s/Taneli Vahakangas$/Taneli Vähäkangas/
 s/Никита Дорохин./Никита Дорохин/
 s/upstream tests 305//
 s/ (edited)//
 s/Jean-Philippe Barette-LaPierre$/Jean-Philippe Barrette-LaPierre/
 s/Joern Hartroth$/Jörn Hartroth/
+s/Hongli Lai (Phusion)$/Hongli Lai/
+s/github user 'kreshano'$/kreshano on github/