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 Sun, 17 Sep 2017 07:54:07 GMT
GitHub user jaikiran reopened a pull request:

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

    Do not merge 

    Testing Jenkins integration. Do not merge this PR

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/jaikiran/ant dummy

Alternatively you can review and apply these changes as the patch at:

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

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #38
    
----
commit 7722bab09e2baab9cfb140f537dd045f05aba7f2
Author: Jaikiran Pai <jaikiran.pai@gmail.com>
Date:   2017-09-17T07:45:52Z

    do not merge

----


---

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


Mime
View raw message