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 #116: Fix space issue in AntStructure.DTDPrinter
Date Thu, 16 Jan 2020 04:17:35 GMT
jaikiran commented 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. I've added you to
our contributors list. Thanks again for this fix.
   

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