Skip to content

Conversation

@ewoudvc
Copy link
Contributor

@ewoudvc ewoudvc commented Apr 27, 2017

see #904

@gdr-at-ms gdr-at-ms merged commit 0ff5518 into isocpp:master May 1, 2017
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