Merge pull request #18252 from JKingsnorth/core-1971-fix
authorEileen McNaughton <emcnaughton@wikimedia.org>
Wed, 26 Aug 2020 19:21:29 +0000 (07:21 +1200)
committerGitHub <noreply@github.com>
Wed, 26 Aug 2020 19:21:29 +0000 (07:21 +1200)
dev/core#1971 Caching of domain-specific option values


Trivial merge