Merge "rdbms: cleanup some type checks and documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 6 Mar 2018 01:21:46 +0000 (01:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 6 Mar 2018 01:21:46 +0000 (01:21 +0000)
commitca8cd77115d4369a3d08554e152acd08a83e964a
tree60a2602af37e72d19f71c11e46b4fdff094c7e5c
parentee96f1e3a5dce82f22da9b9ce22a7b66f401c28b
parent90e7d36c71af4309bff1969df0fee4a14b22cd04
Merge "rdbms: cleanup some type checks and documentation"