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

Posted to issues@commons.apache.org by GitBox <gi...@apache.org> on 2019/06/02 15:01:54 UTC

[GitHub] [commons-parent] XenoAmess opened a new pull request #4: add JAVA_1_10_HOME, JAVA_1_11_HOME, JAVA_1_12_HOME into _removeheaders in maven-bundle-plugin

XenoAmess opened a new pull request #4: add JAVA_1_10_HOME,JAVA_1_11_HOME,JAVA_1_12_HOME into _removeheaders in maven-bundle-plugin
URL: https://github.com/apache/commons-parent/pull/4
 
 
   Is there any reasons for them not being in that list?
   If not, then I think we shall add them for compliance with this line:
       <!-- N.B. when adding new java profiles, be sure to update
         the _removeheaders list in the maven_bundle_plugin configuration -->
   Otherwise, please modify the line above.
   Thanks.

----------------------------------------------------------------
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.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services