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 <jagad...@helpshift.com>: > 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.html > Sent from the Apache Flink User Mailing List archive. mailing list archive > at Nabble.com. >