THANKS-filter: shachaf

diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index e04176fa41f5434897427ac6ce310a3177d3d1b7..fd51694b08debf69d46948d93601e8d47407493c 100644 (file)
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -73,3 +73,4 @@ s/Martin Storsjo$/Martin Storsjö/
 s/Jiri Malak$/Jiří Malák/
 s/JDepooter$/Joel Depooter/
 s/ERAMOTO Masaya$/Eramoto Masaya/
+s/shachaf on github$/Shachaf Ben-Kiki/