Sagar Vemuri e69f6e8629 Fix API name in a comment in db.h ... Summary: ... so that people are not confused. Closes https://github.com/facebook/rocksdb/pull/3580 Differential Revision: D7187175 Pulled By: sagar0 fbshipit-source-id: bce70093d52e38cd24c9432fd708885d7c2c013e		2018-03-07 15:27:17 -08:00
..
rocksdb	Fix API name in a comment in db.h	2018-03-07 15:27:17 -08:00