Thanks for the update @pnowojski. I have no preference regarding adding or dropping "User-Defined".
+1 to merge once that question is resolved. [ Full content available at: https://github.com/apache/flink/pull/6744 ] This message was relayed via gitbox.apache.org for [email protected]
