Merge "Fix ExtensionRegistry cache doc that is out of date"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Oct 2016 17:55:57 +0000 (17:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Oct 2016 17:55:57 +0000 (17:55 +0000)
commit8baa437724c4a751f246cadd92fc96846dbc1174
treea0109d5831c4cc408ade7996ac8ef786a59da57f
parent0489eedef3b806c20122fdce13b03fa0c895cb05
parentc8042bb8ccbd74efd842ba2b7f8482462ac7f2d9
Merge "Fix ExtensionRegistry cache doc that is out of date"