diff options
-rw-r--r-- | docs/THANKS-filter | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/THANKS-filter b/docs/THANKS-filter index e04176fa4..fd51694b0 100644 --- 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/ |