You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@zookeeper.apache.org by 黄 彬寓 <hu...@outlook.com> on 2023/01/12 11:55:24 UTC
Request for review [jira](ZOOKEEPER-3615)
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
回复: Request for review [jira](ZOOKEEPER-3615)
Posted by Huang Binyu <hu...@outlook.com>.
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 <eo...@gmail.com>
发送时间: 2023年1月12日 20:02
收件人: DevZooKeeper <de...@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 黄 彬寓 <hu...@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
>
Re: Request for review [jira](ZOOKEEPER-3615)
Posted by Enrico Olivelli <eo...@gmail.com>.
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 黄 彬寓 <hu...@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
>