Skip to content

Conversation

ghost
Copy link

@ghost ghost commented Jun 5, 2018

Fixes #15109

@mjbvz Please verify that this was what you wanted. Note that implementations were handled in #24537.

@ghost ghost requested a review from mjbvz June 5, 2018 18:26
Copy link
Contributor

@mjbvz mjbvz left a comment

Choose a reason for hiding this comment

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

LGTM. Thanks!

@ghost ghost merged commit 8721701 into master Jun 7, 2018
@ghost ghost deleted the nameSpan branch June 7, 2018 19:44
This pull request was closed.
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.

2 participants