Great, thanks!
I gave you contributor permissions in JIRA. You can now also assign issues
to yourself if you decide to continue to contribute.
Best, Fabian
2016-09-29 16:48 GMT+02:00 jaxbihani :
> Hi Fabian
>
> My JIRA user is: jaxbihani
> I have created a pull request for the fix :
> https://gi
Hi Fabian
My JIRA user is: jaxbihani
I have created a pull request for the fix :
https://github.com/apache/flink/pull/2568
--
View this message in context:
http://apache-flink-user-mailing-list-archive.2336050.n4.nabble.com/Problem-with-CEPPatternOperator-when-taskmanager-is-killed-tp9024p9246
Great!
If you send me your JIRA user I can add you as a contributor and assign the
issue to you.
Best, Fabian
Von: jaxbihani
