date:20191210

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

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