diff options
author | Gaurav Singh <gaurav1086@gmail.com> | 2020-02-20 10:25:14 -0800 |
---|---|---|
committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | 2020-02-20 10:27:56 -0800 |
commit | 4e33f1e1dc40be18f8233a913324b2978c6a46fa (patch) | |
tree | 1571699cba13db7fd8510e24319feff6e9c29b73 /db/internal_stats.cc | |
parent | a993cc3a6244cd3f5ef75272ebcfffa2a17c491d (diff) |
simplify user_access_only expression (#6360)
Summary: Pull Request resolved: https://github.com/facebook/rocksdb/pull/6360
Differential Revision: D19698918
Pulled By: riversand963
fbshipit-source-id: d20ecca541376cccd32fc7afb504ea90021860ee
Diffstat (limited to 'db/internal_stats.cc')
0 files changed, 0 insertions, 0 deletions