[GitHub] [flink] flinkbot edited a comment on pull request #14240: [FLINK-20383][runtime] Fix race condition in notification.

2020-11-26 Thread GitBox
flinkbot edited a comment on pull request #14240: URL: https://github.com/apache/flink/pull/14240#issuecomment-734499029 ## CI report: * bb6fc14107467373c1422cb23a06ddda8bb585ec Azure:

[GitHub] [flink] flinkbot edited a comment on pull request #14240: [FLINK-20383][runtime] Fix race condition in notification.

2020-11-26 Thread GitBox
flinkbot edited a comment on pull request #14240: URL: https://github.com/apache/flink/pull/14240#issuecomment-734499029 ## CI report: * bb6fc14107467373c1422cb23a06ddda8bb585ec Azure: