Skip to content

Conversation

@daspilker
Copy link
Member

No description provided.

@jenkinsadmin
Copy link
Member

Thank you for this pull request! Please check this document for how the Jenkins project handles pull requests.

@daspilker daspilker merged commit a4e10c0 into jenkinsci:master Mar 8, 2016
@daspilker daspilker deleted the git-extensions branch March 13, 2016 09:09
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