Merge "phan: Disable enable_class_alias_support"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 15 Sep 2019 08:51:29 +0000 (08:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 15 Sep 2019 08:51:29 +0000 (08:51 +0000)
commitb499692d01ff5372a20c6c727de57eb99a1b711c
treeb35499d41504e3287a6415752798d67a82a5d8ac
parent3bbda79f1f09649bc4d036f2810117df46166f9c
parentf74400487fdb4c48833f566524d4079bce098250
Merge "phan: Disable enable_class_alias_support"