Github user jaikiran commented on the issue:
https://github.com/apache/ant/pull/57
Looks good to me. If @bodewig doesn't have any concerns with this change,
I'll go ahead and merge this, this week.--- --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
