Github user bodewig commented on the issue:
https://github.com/apache/ant/pull/57
@adamretter the PR was merged too late for 1.10.2, it is part of the 1.10.3
release candidate we are currently voting on.--- --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
