Skip to content

Conversation

lucacome
Copy link
Contributor

Fixes #56

@lucacome lucacome requested a review from a team November 17, 2022 00:28
@lucacome lucacome self-assigned this Nov 17, 2022
@github-actions github-actions bot added bug An issue reporting a potential bug documentation Pull requests/issues for documentation labels Nov 17, 2022
@lucacome lucacome merged commit a6049a6 into main Dec 6, 2022
@lucacome lucacome deleted the docs/fix-typos branch December 6, 2022 18:04
@lucacome lucacome removed the bug An issue reporting a potential bug label Jan 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Pull requests/issues for documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

doc typo
3 participants