Merge "maintenance: Detect "unknown module name" error in manageForeignResources"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 9 Oct 2018 18:03:01 +0000 (18:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 9 Oct 2018 18:03:01 +0000 (18:03 +0000)
commitcc357826aadddb87dc34d90f4ee433bd1838ed51
tree34f7bd074da9ec2b847d8724359048f49912b414
parent1b00e01b85e834f361296e17382b5efbae4d4c1b
parent523ecf7fd2745725404214aaff87c74768193f67
Merge "maintenance: Detect "unknown module name" error in manageForeignResources"