Post-merge fix: update r/rocksdb.result