Merge "Database: Cast to int in estimateRowCount(), selectRowCount()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 6 Feb 2015 10:13:00 +0000 (10:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 6 Feb 2015 10:13:00 +0000 (10:13 +0000)
commit468adaf47f732640710ef832cda825e47f0e0f47
tree1ff18b091fc1defd64a923bba0ca90ab36cfb89d
parentac8d6b353850adfd69e40caa533125a37a24ba6e
parent5f3957498b5819375f525949e79cad8564d998ec
Merge "Database: Cast to int in estimateRowCount(), selectRowCount()"