Skip to content

Conversation

@47erbot
Copy link
Contributor

@47erbot 47erbot commented Jun 30, 2020

Update documentation and other files with latest changes.

@47erbot 47erbot added the auto-documentation Automatic update of documentation files label Jun 30, 2020
@mergify mergify bot merged commit 9c10eb0 into master Jun 30, 2020
@mergify mergify bot deleted the auto-update-docs branch June 30, 2020 16:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

auto-documentation Automatic update of documentation files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants