Merge pull request #18597 from seamuslee001/core_exts_distmaker
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 25 Sep 2020 21:42:50 +0000 (09:42 +1200)
committerGitHub <noreply@github.com>
Fri, 25 Sep 2020 21:42:50 +0000 (09:42 +1200)
commit563a5e4ac8ceff4d8e2e6faaaf4ff56ad5501cd0
tree1792490476b9c3f3353385c20980ce115c3c4550
parent1b97d7299aea4805d0c8ccff80470ba61b9ae682
parent978e5e1d8e3af38cfa96d0c6b498e1f86aafab58
Merge pull request #18597 from seamuslee001/core_exts_distmaker

[REF] Include recently added core extensions into distmaker