Github user suez1224 commented on the issue:
https://github.com/apache/flink/pull/5172
It's already merged to master, and should be available in Flink 1.4.1.
On Wed, Feb 7, 2018 at 11:11 PM, toggm <notificati...@github.com> wrote:
> What happended with this PR? Why was it closed?
>
> â
> You are receiving this because you were mentioned.
> Reply to this email directly, view it on GitHub
> <https://github.com/apache/flink/pull/5172#issuecomment-364022397>, or
mute
> the thread
>
<https://github.com/notifications/unsubscribe-auth/AJ4thX1cYxNyVPuMuGza3FYL3WxyzA0sks5tSp47gaJpZM4RFGC7>
> .
>
--
"So you have to trust that the dots will somehow connect in your future."
---
