Merge "Replace deprecated <tt> with <code>"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Nov 2013 21:37:59 +0000 (21:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Nov 2013 21:37:59 +0000 (21:37 +0000)
commitdcf09d01d7783d0e071d02457be80027b9388349
tree5a2b2b7189c516bb2e5c89d216269f8823c947fe
parent906a9098e79942406d155bdedd928b08c2e3f5c7
parent40577be3dd72fd9ce3b76da8054404aff8a3baaa
Merge "Replace deprecated <tt> with <code>"