ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From jaikiran <...@git.apache.org>
Subject [GitHub] ant issue #38: Do not merge
Date Tue, 12 Dec 2017 13:06:46 GMT
Github user jaikiran commented on the issue:

    https://github.com/apache/ant/pull/38
  
    retest this please


---

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


Mime
View raw message