Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/4895 The fix looks good (it's quite simple ... ð). I'll merge once Travis is green.
---
Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/4895 The fix looks good (it's quite simple ... ð). I'll merge once Travis is green.
---