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.or

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