[
https://issues.apache.org/jira/browse/FLINK-1788?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14394207#comment-14394207
]
ASF GitHub Bot commented on FLINK-1788:
---
Github user asfgit closed the pull request
[
https://issues.apache.org/jira/browse/FLINK-1788?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14388324#comment-14388324
]
ASF GitHub Bot commented on FLINK-1788:
---
GitHub user aljoscha opened a pull request: