Yes, I will rearrange the commits before merging. Locally 3a07ee8812afb3feb2233d722311c4de08eef09a is before 868c7dd6822cee24046b486874fef5d5d7d3564d which makes it work.
[ Full content available at: https://github.com/apache/flink/pull/6678 ] This message was relayed via gitbox.apache.org for [email protected]
