Skip to content

Conversation

@47erbot
Copy link
Contributor

@47erbot 47erbot commented May 19, 2020

Update documentation and other files with latest changes.

@47erbot 47erbot added the auto-documentation Automatic update of documentation files label May 19, 2020
@mergify mergify bot merged commit 77f2909 into master May 19, 2020
@mergify mergify bot deleted the auto-update-docs branch May 19, 2020 07:57
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