Github user fhueske commented on the issue:
https://github.com/apache/flink/pull/5927
merging
---
Github user fhueske commented on the issue:
https://github.com/apache/flink/pull/5927
Thanks for the update @pavel-shvetsov-git.
+1 to merge
---
Github user pavel-shvetsov-git commented on the issue:
https://github.com/apache/flink/pull/5927
Message has been improved as suggested.
---
Github user fhueske commented on the issue:
https://github.com/apache/flink/pull/5927
Thanks for the PR @pavel-shvetsov-git!
I've left a suggestion to improve the error message.
Afterwards the PR should be good to merge.
---
