Merge pull request #12467 from MarekBenjamin/patch-1

Update CREDITS.txt
This commit is contained in:
Tobias Diekershoff 2022-12-18 19:41:04 +01:00 committed by GitHub
commit 0baff45243
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -185,7 +185,6 @@ Marcin Klessa
Marcin Mikołajczak
Marcus Müller
Marek Bachmann
MarekBenjamin
Marie Olive
Mariusz Pisz
marmor