[GitHub] flink pull request #5303: [hotfix][docs] Adjust RocksDb dependency docs

2018-01-17 Thread zentol
Github user zentol closed the pull request at: https://github.com/apache/flink/pull/5303 ---

[GitHub] flink pull request #5303: [hotfix][docs] Adjust RocksDb dependency docs

2018-01-16 Thread zentol
GitHub user zentol opened a pull request: https://github.com/apache/flink/pull/5303 [hotfix][docs] Adjust RocksDb dependency docs Small adjustment as per https://github.com/apache/flink/commit/5623ac66bd145d52f3488ac2fff9dbc762d0bda1#commitcomment-26867793. @StephanEwen @rm