Github user jaikiran commented on the issue: https://github.com/apache/ant/pull/69 Thanks Stefan. I'll go ahead and merge this today and include a note in WHATSNEW.
--- --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org