Merge "vector: Remove useless HTML comments from output"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Apr 2013 16:08:09 +0000 (16:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Apr 2013 16:08:09 +0000 (16:08 +0000)
commitbbf31d606f68e77fd798a43bc6b3656315a91116
treea8e51c99aeffee5b7a91a04a19e3fc56216b86c9
parent4607c38b251b5e611a4c45499a98b365bd6ecec9
parent6c27154c83ae1d05375fcccc0e49f4d4ae81b643
Merge "vector: Remove useless HTML comments from output"