THANKS: merged two entries for Evgeny Grin

Also updated THANKS-filter file

Closes #9076
This commit is contained in:
Evgeny Grin (Karlson2k) 2022-06-30 14:27:23 +03:00 committed by Daniel Stenberg
parent 28971bd453
commit 5a11aa790f
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
2 changed files with 4 additions and 3 deletions

View file

@ -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)/