[
https://issues.apache.org/jira/browse/FLINK-8243?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16352600#comment-16352600
]
ASF GitHub Bot commented on FLINK-8243:
---
Github user asfgit closed the pull request at:
[
https://issues.apache.org/jira/browse/FLINK-8243?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16352233#comment-16352233
]
ASF GitHub Bot commented on FLINK-8243:
---
Github user fhueske commented on the issue:
[
https://issues.apache.org/jira/browse/FLINK-8243?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16336365#comment-16336365
]
ASF GitHub Bot commented on FLINK-8243:
---
GitHub user fhueske opened a pull request: