Skip to content

Conversation

@bugadani
Copy link
Contributor

Fixes #4356

@bugadani bugadani added the skip-changelog No changelog modification needed label Oct 20, 2025
Copy link
Member

@MabezDev MabezDev left a comment

Choose a reason for hiding this comment

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

Thanks!

@MabezDev MabezDev added this pull request to the merge queue Oct 20, 2025
Merged via the queue into esp-rs:main with commit 370ad70 Oct 20, 2025
30 of 31 checks passed
@bugadani bugadani deleted the docs branch October 20, 2025 08:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog No changelog modification needed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

doc_feature strange features

2 participants