[GitHub] flink issue #5323: [FLINK-8441] [State Backend] [RocksDB] change RocksDBList...

[StefanRRichter]

Github user StefanRRichter commented on the issue:

    https://github.com/apache/flink/pull/5323
  
    Thanks for your contribution, I will merge this with some small cleanup.


---