Odg: PRs review

2019-12-11 Thread Mario Kevo 
Thank you @Bruce Schuchardt<mailto:bschucha...@pivotal.io>! 

Šalje: Bruce Schuchardt 
Poslano: 10. prosinca 2019. 23:53
Prima: dev@geode.apache.org 
Predmet: Re: PRs review

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
>

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