sdong 294bdf9ee2 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		2016-03-04 18:15:29 -08:00
..
rocksdb	Change Property name from "rocksdb.current_version_number" to "rocksdb.current-super-version-number"	2016-03-04 18:15:29 -08:00