OK, I've added this issue here: https://issues.apache.org/jira/browse/FLINK-5764

I have time to address it next week.

Reply via email to