@alb3rtobr I think this PR is ready to merge, but I'd like to make sure you 
have a chance to weigh in on the changes some of us have made. What do you 
think - shall we merge this now?

[ Full content available at: https://github.com/apache/geode/pull/4154 ]
This message was relayed via gitbox.apache.org for 
[email protected]

Reply via email to