Github user garydgregory commented on the issue:
https://github.com/apache/commons-pool/pull/5
Thank you for your patch. In git master now.--- --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org
