scripts: catch Credits-to contributors

Also:
- THANKS: add Credits-to attribution missed earlier.

Closes #21653
This commit is contained in:
Viktor Szakats 2026-05-17 13:33:07 +02:00
parent e8c1023b00
commit 64adc43a6e
No known key found for this signature in database
3 changed files with 3 additions and 2 deletions

View file

@ -602,6 +602,7 @@ Christopher Reid
Christopher R. Palmer
Christopher Sauer
Christopher Stone
Christopher Wellons
Christoph Jabs
Christoph Krey
Christoph M. Becker