Merge "Minor: Remove unnecessary @noflip annotation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Jul 2014 18:29:06 +0000 (18:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Jul 2014 18:29:06 +0000 (18:29 +0000)
commit23c0eeec983970076a2d4595cebc9a69382dfde3
treea23496b684c83fe5996a2f34d5b712541729858d
parentc2047cf19342a19cc9b224e5088cf0ebabf913c9
parent76a5ea65ca3ae21173f2783caf93fc7349d4579a
Merge "Minor: Remove unnecessary @noflip annotation"