Mario, I've merged GEODE-6927. You can close the JIRA ticket.
On 12/10/19 4:20 AM, Mario Kevo wrote:
Hi Geode dev, Need some PR reviewers on the following PRs. JIRA: https://issues.apache.org/jira/browse/GEODE-6927 PR: https://github.com/apache/geode/pull/4085 JIRA: https://issues.apache.org/jira/browse/GEODE-7561 PR: https://github.com/apache/geode/pull/4441 BR, Mario
