Merge "Detect already-undone edits for undo"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 4 Feb 2014 19:55:55 +0000 (19:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 4 Feb 2014 19:55:55 +0000 (19:55 +0000)
commit5eda555000550e5beebcac376508efbf89c9ae2c
treeeb0a3d0d65f8c0f92f1b2c6dc8946978cc208485
parentc2c82a057ee78cac9c73712ce239ad27a2f83198
parent5073379d35df694574cd5be8201f8627bb2329a9
Merge "Detect already-undone edits for undo"
RELEASE-NOTES-1.23