Skip to content

Conversation

@Jun10ng
Copy link

@Jun10ng Jun10ng commented Sep 22, 2021

No description provided.

@fmbenhassine fmbenhassine changed the title fixed a typo. Fix a typo May 28, 2025
@fmbenhassine fmbenhassine added this to the 4.0.1 milestone May 28, 2025
@fmbenhassine fmbenhassine added the area/documentation Belongs to documentation label May 28, 2025
fmbenhassine added a commit that referenced this pull request May 28, 2025
@fmbenhassine
Copy link
Contributor

Fixed in 7bc67e8. I could not merge your commit as the PR's branch is called main. Try to create a different branch when you contribute a PR. See CONTRIBUTING.md.

Thank you anyway.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/documentation Belongs to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants