Skip to content

Conversation

@Kriyszig
Copy link
Contributor

@Kriyszig Kriyszig commented Jun 30, 2019

@mangrisano
Copy link
Contributor

mangrisano commented Jun 30, 2019

Hi and thank you for the pull request. I've just noticed that this is a clone of #14482.

@Kriyszig Kriyszig closed this Jun 30, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

awaiting review docs Documentation in the Doc dir

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants