[GitHub] flink pull request #4731: [FLINK-7700] Fix RocksDB state merging

[aljoscha]

Github user aljoscha closed the pull request at:

    https://github.com/apache/flink/pull/4731


---