THANKS-filter: update with a new entry

Closes #20861

diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index 501b649f763203b2c3e01d0db340dd1f5a7c260d..cc964a49b2a970e1f9d1f308bc8444670aa60d5b 100644 (file)
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -161,3 +161,4 @@ s/on github/on github/i
 s/Maksim Sciepanienka/Maksim Ściepanienka/
 s/Qriist.*/Qriist on github/
 s/Viktor Szakatas/Viktor Szakats/
+s/Val S\./Valerie Snyder/