Merge "Parser: Add Title type hints"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 30 Sep 2019 19:47:40 +0000 (19:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 30 Sep 2019 19:47:40 +0000 (19:47 +0000)
commit98f9cfd93f77150c5a8dac5e266386d977c748b9
treec1f66fa727bb2dbeaafd7b8c6aea45520f4e6724
parent0c4efc4dd942fe38cdbac6977a28f45314a9839e
parent3dff713fe40afc79a69631d65d7809bb5206b608
Merge "Parser: Add Title type hints"