Hey, notice that this [commit](https://github.com/apache/flink/commit/0a0f6ed6c3d6cff702e4322293340274bea5e7d9) is part of this PR but it not merged into branch 1.5 and 1.6, neither in master. I wonder whether it will be merged?
[ Full content available at: https://github.com/apache/flink/pull/4566 ] This message was relayed via gitbox.apache.org for [email protected]
