Kostas Kloudas created FLINK-6656:
-------------------------------------
Summary: Migrate CEP PriorityQueue to MapState
Key: FLINK-6656
URL: https://issues.apache.org/jira/browse/FLINK-6656
Project: Flink
Issue Type: Bug
Components: CEP
Reporter: Kostas Kloudas
Assignee: Kostas Kloudas
Fix For: 1.3.0-- This message was sent by Atlassian JIRA (v6.3.15#6346)
