回复: Request for review [jira](ZOOKEEPER-3615)

[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
>