[GitHub] flink issue #4915: [FLINK-7838] Bunch of hotfixes and fix missing synchroniz...

[pnowojski]

Github user pnowojski commented on the issue:

    https://github.com/apache/flink/pull/4915
  
    Fine for me, thanks!


---