Hi Enrico, Thanks you for your response! You are welcome. Just email me anytime if you have any questions or suggestions about our work.
Best wishes, Huang ________________________________ 发件人: Enrico Olivelli <eolive...@gmail.com> 发送时间: 2023年1月12日 20:02 收件人: DevZooKeeper <dev@zookeeper.apache.org> 主题: Re: Request for review [jira](ZOOKEEPER-3615) Huang, Thank you very much. I hope we can merge it soon. I have pinged a few people who participated in the reviews Enrico Il Gio 12 Gen 2023, 12:56 黄 彬寓 <huangbinyu...@outlook.com> ha scritto: > Hi everyone! > I have completed writing TLA+ specification for ZooKeeper.(see > ZOOKEEPER-3615, with links < > https://issues.apache.org/jira/browse/ZOOKEEPER-3615> and > https://github.com/apache/zookeeper/pull/1690). > > I have discussed this issue with community members on github, and now it > has been shelved. I hope anyone interested in it could give me some > suggestions for improvement, and finally merge this issue. Please > communicate with me anytime if you have suggestions. > > Best wishes, > Huang >
