arturobernalg commented on pull request #162: URL: https://github.com/apache/ant/pull/162#issuecomment-932936163
> thank you @arturobernalg Currently there is a release vote underway and I don't want to disturb things by changing `master` before it is done. Completely agree. This is a minor change. can wait. Thank you @bodewig -- 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: dev-unsubscr...@ant.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org