CooperLuan commented on pull request #15154: URL: https://github.com/apache/flink/pull/15154#issuecomment-799195035
@twalthr thank you for the commit, we benefit from it I want to cherry-pick these bug-fix commit to our private repo for production usage, but this pull request is closed(which supposed to be merged) Is there a new pull request instead ? ---------------------------------------------------------------- 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]
