You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@maven.apache.org by "hboutemy (via GitHub)" <gi...@apache.org> on 2023/09/18 05:55:46 UTC
[GitHub] [maven-javadoc-plugin] hboutemy opened a new pull request, #239: MJAVADOC-774 create dev profile
hboutemy opened a new pull request, #239:
URL: https://github.com/apache/maven-javadoc-plugin/pull/239
without such optional profile, build requires the plugin build to be already installed
fixes issue inadvertently introduced in #164
--
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
Re: [PR] MJAVADOC-774 create dev profile [maven-javadoc-plugin]
Posted by "jira-importer (via GitHub)" <gi...@apache.org>.
jira-importer commented on PR #239:
URL: https://github.com/apache/maven-javadoc-plugin/pull/239#issuecomment-2957401862
Resolve #1152
--
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
[GitHub] [maven-javadoc-plugin] slawekjaranowski commented on pull request #239: MJAVADOC-774 create dev profile
Posted by "slawekjaranowski (via GitHub)" <gi...@apache.org>.
slawekjaranowski commented on PR #239:
URL: https://github.com/apache/maven-javadoc-plugin/pull/239#issuecomment-1722809014
Build failed due to #240
--
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
[GitHub] [maven-javadoc-plugin] hboutemy merged pull request #239: MJAVADOC-774 create dev profile
Posted by "hboutemy (via GitHub)" <gi...@apache.org>.
hboutemy merged PR #239:
URL: https://github.com/apache/maven-javadoc-plugin/pull/239
--
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