[Commits] 4229a7ee0a4: Post-merge fixes: adapt MyRocks to new Range-locking RocksDB interface