Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Library Manager name update request needed #23

Open
per1234 opened this issue May 13, 2021 · 0 comments
Open

Library Manager name update request needed #23

per1234 opened this issue May 13, 2021 · 0 comments

Comments

@per1234
Copy link

per1234 commented May 13, 2021

Libraries are locked to the name value specified by the library.properties metadata file in the release at the time of
the Library Manager submission.

Any release with a different name is rejected by the Arduino Library Manager indexer.

Please submit an issue at https://github.com/arduino/Arduino/issues/new to request the name be updated in the index.
Thanks!

References:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant