eolivelli commented on PR #2152: URL: https://github.com/apache/zookeeper/pull/2152#issuecomment-2028436776
One curiosity: > We have leveraged the TLA+ specifications of ZooKeeper and verified the correctness of this fix. Who is 'we' ? Can you share your tests? -- 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. To unsubscribe, e-mail: notifications-unsubscr...@zookeeper.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
