Github user fhueske commented on the issue: https://github.com/apache/flink/pull/5218 Looks good, thanks. I made two more comments. Feel free to merge once these are resolved. Thank you, Fabian
---
Github user fhueske commented on the issue: https://github.com/apache/flink/pull/5218 Looks good, thanks. I made two more comments. Feel free to merge once these are resolved. Thank you, Fabian
---