jakarta-commons-pool-1.2 is marked as broken: Does not compile.
jakarta-commons-pool has 1.3 now.
How-To-Repeat: try to install jakarta-commons-dbcp or jakarta-commons-pool
Over to ports pool.
Stefan is already looking at another PR for this port
The attached patch is a proposal to update the port to version 1.3. I have
only verified that it compiles and installs/deinstalls cleanly, but not
its functionality. Can you, the submitter of this PR and the maintainer of
the port, please verify its correct functionality and let me know if you
approve the patch to be committed?
The patch has been evaluated successfully via Stefan Walter's help,
thanks a lot!
Updated to version 1.3.