Skip to content

Conversation

masci
Copy link
Contributor

@masci masci commented Aug 28, 2019

No description provided.

@masci masci added the topic: documentation Related to documentation for the project label Aug 28, 2019
Copy link
Contributor

@gvarisco gvarisco left a comment

Choose a reason for hiding this comment

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

LGTM

@masci masci merged commit d550b66 into master Aug 28, 2019
@masci masci deleted the massi/badge branch August 28, 2019 08:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: documentation Related to documentation for the project
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants