Skip to content

Merge branch 'master' into dirkx#1

Open
d-a-v wants to merge 1 commit intodirkx:masterfrom
d-a-v:dirkx
Open

Merge branch 'master' into dirkx#1
d-a-v wants to merge 1 commit intodirkx:masterfrom
d-a-v:dirkx

Conversation

@d-a-v
Copy link

@d-a-v d-a-v commented Oct 1, 2019

Sorry to have broken your PR.
Here's a local PR to fix my mistake.
If you merge it here, your PR will be mergeable on esp8266/arduino.

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.

1 participant