Agam Brahma c3401846ef Minor typo in comment (s/pro/pri)
Summary: Closes https://github.com/facebook/rocksdb/pull/3460

Differential Revision: D6895365

Pulled By: miasantreble

fbshipit-source-id: 04f633d1971b1f542ac28118b738ceb0242a0228
2018-02-03 18:27:14 -08:00
..
2017-12-01 10:42:05 -08:00
2017-07-28 16:27:16 -07:00
2017-07-15 16:11:23 -07:00
2018-02-03 18:27:14 -08:00
2017-07-15 16:11:23 -07:00