[ https://issues.apache.org/jira/browse/FLINK-4770?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Stephan Ewen updated FLINK-4770: -------------------------------- Summary: Migrate core options (was: Migrate Job Execution configuration options) > Migrate core options > -------------------- > > Key: FLINK-4770 > URL: https://issues.apache.org/jira/browse/FLINK-4770 > Project: Flink > Issue Type: Sub-task > Components: DataSet API, DataStream API > Reporter: Stephan Ewen > -- This message was sent by Atlassian JIRA (v6.3.15#6346)