Skip to content

Conversation

dorosch
Copy link
Contributor

@dorosch dorosch commented Nov 15, 2019

@brandtbucher
Copy link
Member

Sorry @dorosch... given @alclarks's comment on the BPO issue (and the fact that they're the author of this patch), I recommend that this be closed in favor of #17177.

@dorosch
Copy link
Contributor Author

dorosch commented Nov 15, 2019

@brandtbucher Yes, sorry. I missed it

@dorosch dorosch closed this Nov 15, 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