Merge "deprecate ChangesList::usePatrol"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 2 Jul 2013 22:43:23 +0000 (22:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 2 Jul 2013 22:43:23 +0000 (22:43 +0000)
commitff6429585da52986f04d46ecd9faffa1c35f674f
tree9b6088eea142659298b1ac6f6aef5c1a87774aba
parenta764d99c79d778d46dcbae91800ff678d958a00a
parent90503e146a6feb9690d2b1f05db3882aacefe522
Merge "deprecate ChangesList::usePatrol"