Skip to content

Conversation

47erbot
Copy link
Contributor

@47erbot 47erbot commented May 10, 2020

Update documentation and other files with latest changes.

@47erbot 47erbot added the auto-documentation Automatic update of documentation files label May 10, 2020
@mergify mergify bot merged commit 1822498 into master May 10, 2020
@mergify mergify bot deleted the auto-update-docs branch May 10, 2020 15:38
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.

1 participant