THANKS: add contributors to 7.71.1
diff --git a/docs/THANKS b/docs/THANKS
index 11cd57f..76587bd 100644
--- a/docs/THANKS
+++ b/docs/THANKS
@@ -83,6 +83,7 @@
Alexander Traud
Alexander V. Tikhonov
Alexander Zhuravlev
+Alexandre Pion
Alexey Borzov
Alexey Eremikhin
Alexey Melnichuk
@@ -204,6 +205,7 @@
Barry Abrahamson
Barry Pollard
Bart Whiteley
+Baruch Siach
Bas Mevissen
Bas van Schaik
Bastien Bouclet
@@ -375,6 +377,7 @@
codesniffer13 on github
Cody Jones
Cody Mack
+coinhubs on github
Colby Ranger
Colin Blair
Colin Hogben
@@ -501,6 +504,7 @@
davidedec on github
dbrowndan on github
Dengminwen
+Denis Baručić
Denis Chaplygin
Denis Feklushkin
Denis Ollier
@@ -1014,6 +1018,7 @@
Jojojov on github
Jon DeVree
Jon Grubbs
+Jon Johnson Jr
Jon Nelson
Jon Rumsey
Jon Sargeant
@@ -1211,6 +1216,7 @@
Lucas Adamski
Lucas Pardue
Lucas Severo
+Lucien Zürcher
Ludek Finstrle
Ludovico Cavedon
Ludwig Nussel
@@ -1661,6 +1667,7 @@
pszemus on github
puckipedia on github
Puneet Pawaia
+qiandu2006 on github
Quagmire
Quanah Gibson-Mount
Quinn Slack
@@ -2026,6 +2033,7 @@
Timothy Polich
Tinus van den Berg
TJ Saunders
+tmkk on github
Tobias Blomberg
Tobias Hieta
Tobias Hintze