Skip to content

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.

3 participants