Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

pkg/arduino_sdi_12: bump version, fix patches [backport 2022.10] #18813

Closed
wants to merge 1 commit into from
Closed

pkg/arduino_sdi_12: bump version, fix patches [backport 2022.10] #18813

wants to merge 1 commit into from

Conversation

kfessel
Copy link
Contributor

@kfessel kfessel commented Oct 27, 2022

Backport of #18796

@github-actions github-actions bot added the Area: pkg Area: External package ports label Oct 27, 2022
@kfessel kfessel added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Oct 27, 2022
@kfessel
Copy link
Contributor Author

kfessel commented Oct 27, 2022

see #18812

@kfessel kfessel closed this Oct 27, 2022
@kfessel kfessel added the Process: release backport Integration Process: The PR is a release backport of a change previously provided to master label Oct 27, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Area: pkg Area: External package ports CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR Process: release backport Integration Process: The PR is a release backport of a change previously provided to master
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kfessel @benpicco