Skip to content

Conversation

reggi
Copy link
Contributor

@reggi reggi commented Oct 8, 2015

No description provided.

@ChALkeR ChALkeR added the doc Issues and PRs related to the documentations. label Oct 8, 2015
@ChALkeR
Copy link
Member

ChALkeR commented Oct 8, 2015

Should this be unified with #3260?

@Fishrock123
Copy link
Contributor

@reggi could please do these all in one PR? Thanks!

@silverwind
Copy link
Contributor

Closing in favor of #3291.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc Issues and PRs related to the documentations.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants