Merge pull request #145823 from prusnak/rocksdb_6_23
rocksdb: reintroduce rocksdb 6.23.3 as rocksdb_6_23
authored by Pavol Rusnak and committed by GitHub 4 years ago aa7981eb 20d6600e