Skip to content

Conversation

@csouchet
Copy link
Contributor

No description provided.

@csouchet csouchet added the documentation Improvements or additions to documentation label Oct 27, 2022
@csouchet csouchet marked this pull request as ready for review October 27, 2022 13:46
Copy link
Member

@tbouffard tbouffard left a comment

Choose a reason for hiding this comment

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

LGTM

@csouchet csouchet merged commit 0ec0a86 into main Oct 27, 2022
@csouchet csouchet deleted the change_email branch October 27, 2022 15:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants