Merge "Remove superfluous cast to int"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 May 2019 11:58:38 +0000 (11:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 May 2019 11:58:38 +0000 (11:58 +0000)
commit1e56f9b78a5ee19ae2aa14436afa6fba7d59c4f9
tree26ca0e747dc39e956289ee9b158802ad7d6748b7
parent9d8759327a0285b7f2e85678e71961bc28a321a2
parent5af56eb193cf9c27aae81167bbf0c7a883dba489
Merge "Remove superfluous cast to int"