THANKS: merged two entries for Evgeny Grin

Also updated THANKS-filter file

Closes #9076

diff --git a/docs/THANKS b/docs/THANKS
index b9f6eee2569b89b272265afe6fc62a3e19d77a1a..a2c5c27d6ef0d6bc40ede1b79ab14ddf4b278eef 100644 (file)
--- a/docs/THANKS
+++ b/docs/THANKS
@@ -763,7 +763,7 @@ Evan Jordan
 Evangelos Foutras
 Even Rouault
 Evert Pot
-Evgeny Grin
+Evgeny Grin (Karlson2k)
 Evgeny Turnaev
 eXeC64 on github
 Eygene Ryabinkin
@@ -1310,7 +1310,6 @@ Kantanat Wannapaka
 Kari Pahula
 Karl Chen
 Karl Moerder
-Karlson2k on github
 Karol Pietrzak
 Kartik Mahajan
 Kaspar Brand

diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index 2bb25e8a5dec23f745ca4b1926195a6804fd6400..23c24ae7d406217e82114ce0f32f4c5da2d655be 100644 (file)
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -29,7 +29,7 @@
 # When removing dupes that aren't identical names from THANKS, add a line
 # here!
 #
-# Used-by: contributor.sh
+# Used-by: contributors.sh
 s/Andres Garcia/Andrés García/
 s/Chris Conroy/Christopher Conroy/
 s/Francois Charlier/François Charlier/
@@ -130,3 +130,5 @@ s/jonrumsey on github/Jon Rumsey/
 s/Travis Burtrum on github//
 s/i-ky on github/Gleb Ivanovsky/
 s/ *via curl-library *//
+s/Evgeny Grin$/Evgeny Grin (Karlson2k)/
+s/Karlson2k on github/Evgeny Grin (Karlson2k)/