You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@maven.apache.org by GitBox <gi...@apache.org> on 2022/10/11 16:10:16 UTC

[GitHub] [maven-plugin-tools] gnodet commented on pull request #46: [MPLUGIN-378] Group extractors and improve their selection, deprecate javadoc extractor

gnodet commented on PR #46:
URL: https://github.com/apache/maven-plugin-tools/pull/46#issuecomment-1274942334

   @slachiewicz @slawekjaranowski @cstamas so what's the status of this PR ? I've merged master, but should that be integrated into the upcoming 3.7.0 release or delayed ?


-- 
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: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org