ztzg commented on pull request #1526: URL: https://github.com/apache/zookeeper/pull/1526#issuecomment-730190089
> oh just realized this PR is merged (I thought we require at least two +1 for a non trivial patch to be merged). Sorry; that was me. I was hesitating as this had been lingering for a while, comes from a committer, is mostly "additive" (not touching existing features), etc. You're right that the patch is non trivial in other ways, and I certainly would have waited a bit more if I had known you were about to review! OTOH, I'm sure Enrico would still welcome your review and comments, and I would be glad to assist in creating a follow-up ticket and PR for any improvements! ---------------------------------------------------------------- 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]
