ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <...@apache.org>
Subject [GitHub] [ant] jaikiran commented on issue #121: use displayName instead of legacyReportingName in xml reports
Date Thu, 30 Jan 2020 11:31:54 GMT
jaikiran commented on issue #121: use displayName instead of legacyReportingName in xml reports
URL: https://github.com/apache/ant/pull/121#issuecomment-580211443
 
 
   Thank you for creating this PR. Looks like our CI hasn't been picking up PR related runs.
I'll run some tests manually and see how it goes.

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services

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


Mime
View raw message