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

Improved sanity checks on archiveFileName field in package_index.json #9649

Merged
merged 2 commits into from
Jan 21, 2020

Conversation

cmaglie
Copy link
Member

@cmaglie cmaglie commented Jan 21, 2020

@cmaglie cmaglie added the Component: IDE The Arduino IDE label Jan 21, 2020
@cmaglie cmaglie added this to the Release 1.8.11 milestone Jan 21, 2020
@cmaglie cmaglie self-assigned this Jan 21, 2020
@cmaglie cmaglie changed the title Improved sanity checks on archiveFileName filed in package_index.json Improved sanity checks on archiveFileName field in package_index.json Jan 21, 2020
@arduino arduino deleted a comment from ArduinoBot Jan 21, 2020
@luigigubello
Copy link
Contributor

For me it's ok, you can merge it

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

Successfully merging this pull request may close these issues.

None yet

3 participants