Skip to content

Conversation

facchinm
Copy link
Member

@facchinm facchinm commented Oct 8, 2018

Fix #8034

@cmaglie a better way to solve this could be passing a Version to findPlatform but this would result in an API change. Should we go that way?

It should be used on the actual Version.

Fix arduino#8034
@arduino arduino deleted a comment from ArduinoBot Oct 8, 2018
@cmaglie
Copy link
Member

cmaglie commented Oct 8, 2018

@cmaglie a better way to solve this could be passing a Version to findPlatform but this would result in an API change. Should we go that way?

No, your fix is good, I've just changed it a bit. Moreover this shows that the compiler doesn't warn you if you accidentally use Optional.toString().

@cmaglie cmaglie added this to the Release 1.8.8 milestone Oct 8, 2018
@cmaglie cmaglie merged commit 6a1c1f4 into arduino:master Oct 15, 2018
@cmaglie cmaglie deleted the version_optional_regression_2 branch October 15, 2018 13:28
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

Successfully merging this pull request may close these issues.

3 participants