Merge "More specific types in doc tags in the Html class"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 26 Mar 2015 13:58:22 +0000 (13:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 26 Mar 2015 13:58:22 +0000 (13:58 +0000)
commit087dd78bbd8a161e2145f134da779fd031383f44
tree0e7863ca056a2126eb0ccb80b56585e757259493
parent95cca8960c3ff2a1aa7cef4e763156e976d5767b
parentafe08307d652881e7c239b10c6e99eb889a7f82b
Merge "More specific types in doc tags in the Html class"