Skip to content

Conversation

SergioGasquez
Copy link
Member

@SergioGasquez SergioGasquez commented Jul 3, 2023

The folder was removed in #161

@SergioGasquez SergioGasquez linked an issue Jul 3, 2023 that may be closed by this pull request
@SergioGasquez SergioGasquez merged commit f8865a2 into esp-rs:main Jul 3, 2023
@SergioGasquez SergioGasquez deleted the fix/remove-extra branch July 3, 2023 13:25
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.

"Extra" directory doesn't exist

1 participant