Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/5365
This change has already gotten in via another commit.
@bowenli86 can you close this PR?
Thank you for the contribution!
---
Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/5365
In general, LGTM. I just have the exact same change already in on
sub-commit of another open PR, so this change will get in one way or the other.
---
Github user bowenli86 commented on the issue:
https://github.com/apache/flink/pull/5365
cc @StefanRRichter
---
