Merge "resourceloader: Remove unused 'skipped' property from registry"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 8 Apr 2019 03:54:10 +0000 (03:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 8 Apr 2019 03:54:10 +0000 (03:54 +0000)
commit9d9ab38b39b2ee13d48139a5e55ad9855c92426a
tree9cd134efb9b91a15e256d88cd444129881bf0eef
parenta0b185c802ea8769abe0372ecced92a2a3a843b3
parent2096cbdb47dd511f10bdbd8358e6721d38f7dfba
Merge "resourceloader: Remove unused 'skipped' property from registry"