Skip to content

Conversation

@elindsey
Copy link

@hen
Copy link
Member

hen commented Jan 22, 2014

Applied. Oddness in Apache to GitHub mapping means I can't resolve the pull request. Could you do so elindsey if all looks good?

@elindsey
Copy link
Author

Closing out. Thanks!

@elindsey elindsey closed this Jan 22, 2014
@ebourg
Copy link
Member

ebourg commented Jan 22, 2014

Henry, I believe you just have to mention the issue number in the commit message to close it automatically (here #14)

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