Skip to content

Conversation

@meili-bot
Copy link
Contributor

This PR is auto-generated.

Changes the README header.

@meili-bot meili-bot added the skip-changelog The PR will not appear in the release changelogs label Jan 12, 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 Jan 12, 2021

Build succeeded:

@bors bors bot merged commit 290a0ba into master Jan 12, 2021
@bors bors bot deleted the meili-bot/update-readme-headers branch January 12, 2021 12:42
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