aljoscha commented on pull request #7862: URL: https://github.com/apache/flink/pull/7862#issuecomment-679926829
Closing this PR since the result of the discussion on the Jira issue is to change the documentation and don't change the behaviour. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
