[GitHub] flink issue #5424: FLINK-8571] [DataStream] Introduce utility function that ...

2018-02-09 Thread StefanRRichter
Github user StefanRRichter commented on the issue: https://github.com/apache/flink/pull/5424 Thanks for the review @aljoscha. Will merge. ---

[GitHub] flink issue #5424: FLINK-8571] [DataStream] Introduce utility function that ...

2018-02-09 Thread aljoscha
Github user aljoscha commented on the issue: https://github.com/apache/flink/pull/5424 Still looks good, except that I'd like to see the new doc in a completely separate section of the doc. ---

[GitHub] flink issue #5424: FLINK-8571] [DataStream] Introduce utility function that ...

2018-02-07 Thread StefanRRichter
Github user StefanRRichter commented on the issue: https://github.com/apache/flink/pull/5424 CC @aljoscha ---