aljoscha commented on pull request #12189: URL: https://github.com/apache/flink/pull/12189#issuecomment-638184617
I've merged this on master and will also merge on release-1.11. Thanks @mghildiy for the initial work, and thanks @klion26 for reviewing! ---------------------------------------------------------------- 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]
