[
https://issues.apache.org/jira/browse/FLINK-9857?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16546548#comment-16546548
]
ASF GitHub Bot commented on FLINK-9857:
---
Github user aljoscha closed the pull reque
[
https://issues.apache.org/jira/browse/FLINK-9857?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16546541#comment-16546541
]
ASF GitHub Bot commented on FLINK-9857:
---
Github user aljoscha commented on the issu
[
https://issues.apache.org/jira/browse/FLINK-9857?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16546184#comment-16546184
]
ASF GitHub Bot commented on FLINK-9857:
---
GitHub user aljoscha opened a pull request
[
https://issues.apache.org/jira/browse/FLINK-9857?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16545286#comment-16545286
]
Aljoscha Krettek commented on FLINK-9857:
-
On a side note: even if we change this
[
https://issues.apache.org/jira/browse/FLINK-9857?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16545004#comment-16545004
]
Aljoscha Krettek commented on FLINK-9857:
-
We can fix this at one of two places: