Skip to content

Conversation

@janisz
Copy link
Contributor

@janisz janisz commented Jun 14, 2022

No description provided.

@janisz janisz requested a review from dhaus67 June 14, 2022 16:32
@janisz janisz merged commit 91a31e3 into master Jun 15, 2022
@janisz janisz deleted the janisz-patch-1 branch June 15, 2022 09:57
@janisz janisz added the documentation Improvements or additions to documentation label Sep 16, 2022
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.

2 participants