Merge "Language: Use type hint instead of manual type check"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 3 Apr 2019 20:21:22 +0000 (20:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 3 Apr 2019 20:21:22 +0000 (20:21 +0000)
commit7cc595fefa68ed2b7704902e6490ef5edf75e420
treef2cb661c056eb1103dea43f1723763ab15f4b070
parent72fa892831a8e5a43eb2fbd0541c2eaed6b86597
parent6212ab2d3d8cc0522d7fce12631edbfed4f2a817
Merge "Language: Use type hint instead of manual type check"