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

Posted to notifications@geode.apache.org by "jdeppe-pivotal (GitHub)" <gi...@apache.org> on 2019/09/09 20:08:45 UTC

[GitHub] [geode] jdeppe-pivotal closed pull request #3968: GEODE-7107: Make jetty-server optional in geode-core pom

[ pull request closed by jdeppe-pivotal ]

[ Full content available at: https://github.com/apache/geode/pull/3968 ]
This message was relayed via gitbox.apache.org for notifications@geode.apache.org