Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented Nov 6, 2020

Just one line of doc

@ghost
Copy link
Author

ghost commented Nov 6, 2020

bors r+

@ghost ghost closed this Nov 6, 2020
@bors
Copy link

bors bot commented Nov 6, 2020

Already running a review

@ghost
Copy link
Author

ghost commented Nov 6, 2020

bors r+

@ghost ghost reopened this Nov 6, 2020
bors bot pushed a commit that referenced this pull request Nov 6, 2020
Just one line of doc
@bors
Copy link

bors bot commented Nov 6, 2020

@bors bors bot changed the title Update README.md [Merged by Bors] - Update README.md Nov 6, 2020
@bors bors bot closed this Nov 6, 2020
paulhauner pushed a commit that referenced this pull request Nov 9, 2020
Just one line of doc
@paulhauner paulhauner deleted the hermanjunge-patch-1 branch February 15, 2021 07:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants