Skip to content

Conversation

mmahacek
Copy link
Contributor

Move note on Zookeeper ports from side note to be included in the table of ports.

Move note on Zookeeper ports from side note to be included in the table of ports.
@mmahacek mmahacek added the documentation Improvements or additions to documentation label Mar 21, 2025
Copy link
Contributor

@eedugon eedugon left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@mmahacek mmahacek enabled auto-merge (squash) March 24, 2025 14:21
@mmahacek mmahacek merged commit 736bd1b into main Mar 24, 2025
3 of 4 checks passed
@mmahacek mmahacek deleted the doc/mm/ece-zk-ports branch March 24, 2025 14:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants