Skip to content

Conversation

@47erbot
Copy link
Contributor

@47erbot 47erbot commented Jul 12, 2020

Update documentation and other files with latest changes.

@47erbot 47erbot added the auto-documentation Automatic update of documentation files label Jul 12, 2020
@mergify mergify bot merged commit 7824c82 into master Jul 12, 2020
@mergify mergify bot deleted the auto-update-docs branch July 12, 2020 15: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