Merge "resourceloader: Remove redundant closure of some startup and base files"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 24 Sep 2019 00:56:22 +0000 (00:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 24 Sep 2019 00:56:22 +0000 (00:56 +0000)
commit8ae41fea1527379b78385de4d6edf8e39e04f5eb
treefa12fd854f31a040a19a432b8c441a5c507ff537
parenteda773a437933f2126d84a23c71b177820be3e32
parentf4975bc6de776c8eb06490932329a3c8d657eabd
Merge "resourceloader: Remove redundant closure of some startup and base files"