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

Posted to notifications@geode.apache.org by GitBox <gi...@apache.org> on 2022/06/10 23:43:12 UTC

[GitHub] [geode] rhoughton-pivot opened a new pull request, #7797: GEODE-10378: Change PRs to default to JDK11 only

rhoughton-pivot opened a new pull request, #7797:
URL: https://github.com/apache/geode/pull/7797

   Other JDK will be by request (label) only.
   
   Authored-by: Robert Houghton <rh...@pivotal.io>
   


-- 
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: notifications-unsubscribe@geode.apache.org

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

[GitHub] [geode] rhoughton-pivot merged pull request #7797: GEODE-10378: Change PRs to default to JDK11 only

Posted by GitBox <gi...@apache.org>.

rhoughton-pivot merged PR #7797:
URL: https://github.com/apache/geode/pull/7797


-- 
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: notifications-unsubscribe@geode.apache.org

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