Merge "Replace dev.w3.org with more permanent or stable urls"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 14 Feb 2015 18:57:14 +0000 (18:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 14 Feb 2015 18:57:14 +0000 (18:57 +0000)
commita985acd573f19b7fd36d9d4c18783401e710c3e9
tree54f294cb481b4930c271d6bb23b435fd03fa8674
parent77e1b851dd3611cf6ce8f8771f47717907513c45
parentd62a2b76b1b6c972f6cb835b0b830d41a4cd3c56
Merge "Replace dev.w3.org with more permanent or stable urls"