• sdong's avatar
    Change Property name from "rocksdb.current_version_number" to... · 294bdf9e
    sdong authored
    Change Property name from "rocksdb.current_version_number" to "rocksdb.current-super-version-number"
    Summary: I realized I again is wrong about the naming convention. Let me change it to the correct one.
    Test Plan: Run unit tests.
    Reviewers: IslamAbdelRahman, kradhakrishnan, yhchiang, andrewkr
    Reviewed By: andrewkr
    Subscribers: leveldb, dhruba
    Differential Revision: https://reviews.facebook.net/D55041