Rename dherediat.json to davidheredia.json

This commit is contained in:
dherediat authored and GitHub committed 2023-10-16 12:00:19 +02:00
1 parent c7f4e62736
commit cd1cc728fd
1 file changed
File renamed without changes.