pkuwm commented on pull request #1683:
URL: https://github.com/apache/zookeeper/pull/1683#issuecomment-823005161


   @eolivelli @arshadmohammad @maoling Is it fine to merge this PR? Let me know 
if there is anything else we should do before merging it. Thank you!


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
[email protected]


Reply via email to