Skip to content

Conversation

rgommers
Copy link
Member

@rgommers rgommers commented Dec 6, 2019

Reverts #14794

@rgommers
Copy link
Member Author

rgommers commented Dec 6, 2019

PR created by clicking the "revert" button on gh-14794

@charris charris added the 34 - Reversion Reversion of previous commit or merge label Dec 6, 2019
@charris charris merged commit ab89b1a into master Dec 6, 2019
@charris
Copy link
Member

charris commented Dec 6, 2019

Thanks Ralf.

@rgommers rgommers deleted the revert-14794-nep-0034-impl branch December 7, 2019 05:11
@rgommers rgommers added this to the 1.19.0 release milestone Dec 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

34 - Reversion Reversion of previous commit or merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants