PRs review

2019-12-10 Thread Mario Kevo 
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

Re: PRs review

2019-12-10 Thread Bruce Schuchardt 

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