Skip to content

Conversation

geoffw0
Copy link
Contributor

@geoffw0 geoffw0 commented Nov 13, 2019

See discussion in #2309 (comment).

@geoffw0 geoffw0 added the C++ label Nov 13, 2019
@geoffw0 geoffw0 requested a review from a team as a code owner November 13, 2019 18:57
@geoffw0 geoffw0 mentioned this pull request Nov 13, 2019
Copy link

@dbartol dbartol left a comment

Choose a reason for hiding this comment

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

LGTM

@dbartol dbartol merged commit 55010d0 into github:master Nov 13, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants