From 5a11aa790f2ce31947bd809819f0a78d9f7f1f05 Mon Sep 17 00:00:00 2001 From: "Evgeny Grin (Karlson2k)" Date: Thu, 30 Jun 2022 14:27:23 +0300 Subject: [PATCH] THANKS: merged two entries for Evgeny Grin Also updated THANKS-filter file Closes #9076 --- docs/THANKS | 3 +-- docs/THANKS-filter | 4 +++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/docs/THANKS b/docs/THANKS index b9f6eee256..a2c5c27d6e 100644 --- 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 2bb25e8a5d..23c24ae7d4 100644 --- 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)/