Merge "Removed redundant doc comments."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Jun 2013 19:13:58 +0000 (19:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Jun 2013 19:13:58 +0000 (19:13 +0000)
commit368cc2e28d5cffcddb504af9e94eacba6612df52
treefa11ec7b5406cad18ec128ccbd634042aa72ae47
parent6602305746e7d6b2675c29b84111d235a9b7c91a
parent7a5902e6133ff2629dd9cdd6dde81a69d9a1e416
Merge "Removed redundant doc comments."