ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From jaikiran <...@git.apache.org>
Subject [GitHub] ant pull request #38: Do not merge
Date Tue, 12 Dec 2017 14:15:47 GMT
Github user jaikiran closed the pull request at:

    https://github.com/apache/ant/pull/38


---

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


Mime
View raw message