Skip to content

Conversation

@bartdeslagmulder
Copy link
Contributor

No description provided.

benmccann
benmccann previously approved these changes Oct 31, 2018
@benmccann
Copy link
Contributor

I don't feel like this PR is creating a lot of value, but it isn't hurting anything either. I'm fine to either merge or close as the other maintainers see fit

Copy link
Member

@simonbrunel simonbrunel left a comment

Choose a reason for hiding this comment

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

Thanks @bartdeslagmulder, can you please address my few comments?

I'm fine with merging this PR since it brings more consistency in the doc.

@bartdeslagmulder
Copy link
Contributor Author

@simonbrunel done!

Copy link
Member

@simonbrunel simonbrunel left a comment

Choose a reason for hiding this comment

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

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants