[GitHub] ant pull request #78: A new CharSet type to hold available Charset names

2018-11-14 Thread twogee
Github user twogee closed the pull request at: https://github.com/apache/ant/pull/78 --- - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org

[GitHub] ant issue #77: Avoid FileInputStream and FileOutputStream.

2018-11-14 Thread bodewig
Github user bodewig commented on the issue: https://github.com/apache/ant/pull/77 Thanks @reudismam --- - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail:

[GitHub] ant pull request #77: Avoid FileInputStream and FileOutputStream.

2018-11-14 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/ant/pull/77 --- - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org