[GitHub] [ant] bodewig commented on pull request #193: Update defaults.properties

2022-10-24 Thread GitBox
bodewig commented on PR #193: URL: https://github.com/apache/ant/pull/193#issuecomment-1290054573 I have no idea what you are trying to do but you are certainly not at the correct repo here. -- This is an automated message from the Apache Git Service. To respond to the message, please log

[GitHub] [ant] bodewig closed pull request #193: Update defaults.properties

2022-10-24 Thread GitBox
bodewig closed pull request #193: Update defaults.properties URL: https://github.com/apache/ant/pull/193 -- 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. To unsubscribe, e-mail: