renames vendor directory (#2568)

vendor name is PLANET, not Planet
This commit is contained in:
Robert Sander 2024-12-21 10:49:19 +01:00 committed by GitHub
parent 6e96cefdd5
commit efd01eeb47
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194