docs/THANKS: remove name duplicate

This commit is contained in:
Daniel Stenberg 2022-05-05 10:25:56 +02:00
parent 613bf27771
commit 7fc0123129
No known key found for this signature in database
GPG Key ID: 5CC908FDB71E12C2
2 changed files with 1 additions and 2 deletions

View File

@ -47,7 +47,7 @@ advice from friends like these:
Adam Rosenfield, Axel Chong, Christian Weisgerber, Daniel Gustafsson, Adam Rosenfield, Axel Chong, Christian Weisgerber, Daniel Gustafsson,
Daniel Stenberg, Fabian Keil, Florian Kohnhäuser, Harry Sintonen, Daniel Stenberg, Fabian Keil, Florian Kohnhäuser, Harry Sintonen,
LigH-de on github, Michael Olbrich, Nick Banks, Patrick Monnerat, LigH-de on github, Michael Olbrich, Nick Banks, Patrick Monnerat,
pheiduck on github, Philip H, Sergey Markelov, Yusuke Nakamura Philip H, Sergey Markelov, Yusuke Nakamura
(16 contributors) (16 contributors)
References to bug reports and discussions on issues: References to bug reports and discussions on issues:

View File

@ -1924,7 +1924,6 @@ Petr Bahula
Petr Novak Petr Novak
Petr Pisar Petr Pisar
Petr Voytsik Petr Voytsik
pheiduck on github
Phil Blundell Phil Blundell
Phil Crump Phil Crump
Phil E. Taylor Phil E. Taylor