Bug#1016405: transition: rocksdb

[László Böszörményi (GCS) <gcs@debian.org>]

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition

Hi RMs,

Small transition of RocksDB from 7.2.2 to 7.3.1 which affects only
balboa. I've rebuilt it successfully.

Thanks for considering,
Laszlo/GCS