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?

@hutchinson hutchinson closed this by deleting the head repository Sep 22, 2025
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