Skip to content

Conversation

@florimondmanca
Copy link
Contributor

Prompted by #718 (comment) :-)

@florimondmanca florimondmanca added the docs Changes to the documentation label Jan 3, 2020
@lovelydinosaur lovelydinosaur merged commit ff44d2d into master Jan 3, 2020
@lovelydinosaur lovelydinosaur deleted the history-doc-typo branch January 3, 2020 21:14
@lovelydinosaur
Copy link
Contributor

Jup!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Changes to the documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants