Github user uce commented on the issue:
https://github.com/apache/flink/pull/2584
Thanks! Looks good to merge. Just had one follow up comment before doing so.
---
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
Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/2584
Thanks a lot for the review Ufuk! I addressed your comments (see my
responses also).
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as
