[jira] [Commented] (FLINK-8743) Add annotation to override documented default

2018-05-02 Thread ASF GitHub Bot (JIRA)
[ https://issues.apache.org/jira/browse/FLINK-8743?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16461014#comment-16461014 ] ASF GitHub Bot commented on FLINK-8743: --- Github user asfgit closed the pull request at:

[jira] [Commented] (FLINK-8743) Add annotation to override documented default

2018-05-02 Thread ASF GitHub Bot (JIRA)
[ https://issues.apache.org/jira/browse/FLINK-8743?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16460668#comment-16460668 ] ASF GitHub Bot commented on FLINK-8743: --- Github user zentol commented on the issue:

[jira] [Commented] (FLINK-8743) Add annotation to override documented default

2018-04-30 Thread ASF GitHub Bot (JIRA)
[ https://issues.apache.org/jira/browse/FLINK-8743?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16458446#comment-16458446 ] ASF GitHub Bot commented on FLINK-8743: --- Github user aljoscha commented on the issue:

[jira] [Commented] (FLINK-8743) Add annotation to override documented default

2018-04-30 Thread ASF GitHub Bot (JIRA)
[ https://issues.apache.org/jira/browse/FLINK-8743?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16458433#comment-16458433 ] ASF GitHub Bot commented on FLINK-8743: --- Github user zentol commented on the issue:

[jira] [Commented] (FLINK-8743) Add annotation to override documented default

2018-04-05 Thread ASF GitHub Bot (JIRA)
[ https://issues.apache.org/jira/browse/FLINK-8743?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16426744#comment-16426744 ] ASF GitHub Bot commented on FLINK-8743: --- GitHub user zentol opened a pull request: