gnodet commented on PR #13724: URL: https://github.com/apache/maven/pull/13724#issuecomment-6656430969
Reopening — my previous comment was wrong: #13570 has not been merged yet. #13724 may still be relevant depending on how #13570 progresses. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
