Skip to content

Conversation

rexgarland
Copy link
Contributor

@rexgarland rexgarland commented Sep 24, 2023

Fixes #3612.

  • This PR is for the dev branch rather than for the release branch.
  • This PR is compliant with the other contributing guidelines as well (if not, please describe why).
  • I have thoroughly tested my contribution.
  • The code changes are reflected in the documentation at docs/*.

To be completed below: Description of and rationale behind this PR.

This is a quick fix for docs.

@marcelstoer marcelstoer merged commit 4514615 into nodemcu:dev Oct 18, 2023
@rexgarland rexgarland deleted the dev branch October 26, 2023 05:11
marcelstoer pushed a commit that referenced this pull request Feb 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants