Github user bodewig commented on the issue:

    https://github.com/apache/ant/pull/43
  
    merged, thanks!


---

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org

Reply via email to