Skip to content

Conversation

@lucacome
Copy link
Contributor

No description provided.

@lucacome lucacome requested a review from a team April 12, 2021 17:11
@lucacome lucacome self-assigned this Apr 12, 2021
@lucacome lucacome requested review from pleshakov and soneillf5 and removed request for a team April 12, 2021 17:11
@lucacome lucacome enabled auto-merge (squash) April 12, 2021 17:12
@github-actions github-actions bot added bug An issue reporting a potential bug documentation Pull requests/issues for documentation labels Apr 12, 2021
@lucacome lucacome merged commit cc71d72 into master Apr 13, 2021
@lucacome lucacome deleted the fix/typos branch April 13, 2021 08:35
@lucacome lucacome removed the bug An issue reporting a potential bug label Feb 22, 2022
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.

4 participants