Skip to content

Conversation

hutchinson
Copy link

No description provided.

@bkielczewski
Copy link
Owner

Thanks. I'd merge it, but in a separate branch rather then master. Do you mind re-targetting your pull request to tomcat7 branch?

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