Skip to content

Conversation

JohelEGP
Copy link
Contributor

@JohelEGP JohelEGP commented Nov 8, 2017

No description provided.

@jwakely
Copy link
Member

jwakely commented Nov 8, 2017

Looks correct to me. This was introduced by the fix for #1401

@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 8, 2017

Agreed. Looks like this was a simple copy-paste error in bdff868.

@tkoeppe tkoeppe merged commit 7a7d123 into cplusplus:master Nov 8, 2017
AaronBallman pushed a commit to AaronBallman/draft that referenced this pull request Nov 15, 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.

3 participants