Skip to content

Conversation

cmaglie
Copy link
Member

@cmaglie cmaglie commented Sep 28, 2020

Otherwise, automatic library discovery would be affected.

Fix #960

@cmaglie cmaglie self-assigned this Sep 28, 2020
Copy link
Collaborator

@matthijskooijman matthijskooijman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks reasonable to me!

@cmaglie cmaglie merged commit 27316e3 into arduino:master Sep 29, 2020
@cmaglie cmaglie deleted the fix-lib-search branch September 29, 2020 09:40
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.

0.13.0 does not find include file, 0.12.1 does
2 participants