THANKS-filter: name fixes

diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index 2300f7b764c8137cda553d23e5679e3f1f00c74f..8fd92aa8c4f86bd601343b9c5df5dd6e6e6f7a92 100644 (file)
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -138,3 +138,5 @@ s/GitHub$//
 s/pszlazak$/pszlazak on github/
 s/Randall$/Randall S. Becker/
 s/talregev on github/Tal Regev/
+s/daniel-j-h/Daniel J. H./
+s/hongfei.li/Hongfei Li/