Merge "API: Split list=deletedrevs into prop=deletedrevisions and list=alldeletedrevi...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 4 Nov 2014 20:22:05 +0000 (20:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 4 Nov 2014 20:22:05 +0000 (20:22 +0000)
commit442c3d49ee1331ba395d3570a2e46ff5782c4d01
tree4b50a4e637640552e6a18dc980093c2eaf12e1d0
parentd2fb4701673f38ccc8a05a4d0052704644ebe736
parent991de897e4781597f60a9c19d84df740a2b68ed1
Merge "API: Split list=deletedrevs into prop=deletedrevisions and list=alldeletedrevisions"