Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

some files where overlooked in #2287

@Bibo-Joshi Bibo-Joshi added the ⚙️ documentation affected functionality: documentation label Jan 4, 2021
@Bibo-Joshi Bibo-Joshi merged commit 6903d58 into master Jan 4, 2021
@Bibo-Joshi Bibo-Joshi deleted the copyright branch January 4, 2021 16:24
@github-actions github-actions bot locked and limited conversation to collaborators Jan 5, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⚙️ documentation affected functionality: documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants