Github user garydgregory commented on the issue:
https://github.com/apache/commons-pool/pull/17
I think this PR can be closed. --- --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
