ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <...@apache.org>
Subject [GitHub] [ant] jaikiran edited a comment on issue #116: Fix space issue in AntStructure.DTDPrinter
Date Thu, 16 Jan 2020 04:19:14 GMT
jaikiran edited a comment on issue #116:  Fix space issue in AntStructure.DTDPrinter
URL: https://github.com/apache/ant/pull/116#issuecomment-574974375
 
 
   Hello @TonyGravagno, thank you for this PR. There was a similar changed needed a few lines
below that code, which I've included in your commit and merged upstream (https://github.com/apache/ant/commit/9b0842fafa3bf3afe11438b6349ed55173cf4327).
I've added you to our contributors list. Thanks again for this fix.
   
   P.S: I forgot to auto-close this PR through the commit. Can you please close this one yourself?

----------------------------------------------------------------
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