Merge "Improve ExtensionRegistry test coverage"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 13 Feb 2018 04:45:01 +0000 (04:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 13 Feb 2018 04:45:01 +0000 (04:45 +0000)
commit0a066a7eee1f86e1f5efb494f6f60bbfa255c832
tree465df2ebf1e63566f42b5d5bcefb6bda5532112b
parent331c9f9e2e59ee7a13e0da471f067f12b1915ea3
parentf492a981bf40d65a505cd9f5fb0df2b1deb3793e
Merge "Improve ExtensionRegistry test coverage"