Github user dawidwys commented on the issue:
https://github.com/apache/flink/pull/4041
In fact I managed to finish the review. Generally the docs look great!
Congrats on the hard work @kl0u!
@rmetzger Most of the comments I had were to the formatting/reordering, the
only bigger concern is the naming of the State. All in all I think it can be
merged today.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
