Merge "Undo feature: Add a wpUndidRevision field that can be used to distinguish...
authorReedy <reedy@wikimedia.org>
Fri, 20 Jul 2012 18:31:48 +0000 (18:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Jul 2012 18:31:48 +0000 (18:31 +0000)

Trivial merge