Github user lamber-ken commented on the issue:
https://github.com/apache/flink/pull/6212
hi, @tillrohrmann , what does this mean?
I don't understand, need I delete the branch?

---
