Merge "Fix type hint for properties holding MapCacheLRU"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 6 Jun 2019 14:10:29 +0000 (14:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 6 Jun 2019 14:10:29 +0000 (14:10 +0000)
commit81e73248f25e5afe35c90a67fa9a75d7a6ba0aad
tree66ae67e63a068af210030bdc456498246dee6c9c
parent5bc9a2772adc3e27cd535683eed2d20d10c58101
parent4b489fa2a74aa5fc5d6e3df9bcf0259ba69edf5e
Merge "Fix type hint for properties holding MapCacheLRU"