Merge "Title: Minor clean up for stricter checks, casting style, and doc types"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 7 Mar 2019 00:07:34 +0000 (00:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 7 Mar 2019 00:07:34 +0000 (00:07 +0000)
commitcfe87f8e0883203db6b49b59bb979521da0f7d86
treeef2ce91b1c1cffcc0edf45492c2249497ee4d26a
parent39a72e0804285f596c63f32a02a0a84861f8a277
parent95da4e0d79d11abb9576a6a1b464fc278aaeb8ea
Merge "Title: Minor clean up for stricter checks, casting style, and doc types"