Merge "Remove unnecessary annotation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 16 May 2016 12:04:45 +0000 (12:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 16 May 2016 12:04:45 +0000 (12:04 +0000)
commit721efa511ded84bba2db274bb41b390277cd5d51
treed0bf28b8db21ce8d17935a0630b20704c9eec37b
parentcba9d9c41dee8a4fcaf5600e4cf8ca8e4f777908
parent7ba1936408e3f21f0d51db467b1aa2c3eeb33df1
Merge "Remove unnecessary annotation"