Skip to content

Conversation

@meili-bot
Copy link
Contributor

This PR is auto-generated.

Following the awesome docs restructuration!

@meili-bot meili-bot added the skip-changelog The PR will not appear in the release changelogs label Feb 4, 2021
Copy link
Member

@curquiza curquiza left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors merge

@bors
Copy link
Contributor

bors bot commented Feb 4, 2021

Build succeeded:

@bors bors bot merged commit 8f149f9 into master Feb 4, 2021
@bors bors bot deleted the meili-bot/fix-links branch February 4, 2021 22:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog The PR will not appear in the release changelogs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants