Rename Core Contributors.md to core contributors.md

This commit is contained in:
PG 2024-07-19 19:45:23 +02:00 committed by GitHub
parent fd06133e8b
commit ed04a7b839
No known key found for this signature in database
GPG key ID: B5690EEEBB952194