Skip to content

Conversation

rpjday
Copy link

@rpjday rpjday commented Oct 16, 2017

No description provided.

@ben
Copy link
Member

ben commented Oct 16, 2017

Nice catch!

@ben ben merged commit 72d6a54 into progit:master Oct 16, 2017
@rpjday
Copy link
Author

rpjday commented Oct 16, 2017

Not really, since I'm the one who put it there.

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