Merge "Special:MergeHistory: Merge all revisions if no particular box/button is ticked"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 30 Jun 2016 00:33:10 +0000 (00:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 30 Jun 2016 00:33:10 +0000 (00:33 +0000)
commitd3a51a690c977efe2d97f911f279a4ac791a8e83
tree99eae798dfd6120314fb5729b899ed7afb04e64f
parent4952c96be81c0cf205bcd05c3f058fdd4d75f8e2
parent475e78c377f81a8837462852cdaab05e01cd686c
Merge "Special:MergeHistory: Merge all revisions if no particular box/button is ticked"