ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From jaikiran <>
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:

    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 dummy

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

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 <>
Date:   2017-09-17T07:45:52Z

    do not merge



To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message