You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@ant.apache.org by jaikiran <gi...@git.apache.org> on 2017/12/12 11:43:27 UTC

[GitHub] ant pull request #38: Do not merge

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 <ja...@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