Skip to content

Conversation

Tobion
Copy link
Member

@Tobion Tobion commented Aug 1, 2019

Fixes #2013 and #1987

Copy link
Member

@GuilhemN GuilhemN left a comment

Choose a reason for hiding this comment

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

Needs a rebase but I'm in favor of these changes 👍

@Tobion Tobion force-pushed the remove-outdated-doc branch from 8743a1e to 7f22748 Compare August 1, 2019 20:13
@Tobion Tobion merged commit 2096a0e into master Aug 1, 2019
@Tobion Tobion deleted the remove-outdated-doc branch August 1, 2019 20:17
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.

3 participants