@GJL thanks for your review and detailed comments! I have pushed a commit to address most of them. It is midnight in my timezone so I would be offline for hours. I am glad to see any beneficial modification on merging.
[ Full content available at: https://github.com/apache/flink/pull/6737 ] This message was relayed via gitbox.apache.org for devnull@infra.apache.org
