Merge pull request #12494 from webknjaz/maintenance/rtd-conf-name

📝 Rename the RTD config to canonical filename
This commit is contained in:
Ronny Pfannschmidt 2024-06-20 10:39:34 +02:00 committed by GitHub
commit 63dfa4bb84
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 0 deletions