Merge pull request #14682 from demeritcowboy/div-div-div-div-div
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 1 Jul 2019 04:38:39 +0000 (16:38 +1200)
committerGitHub <noreply@github.com>
Mon, 1 Jul 2019 04:38:39 +0000 (16:38 +1200)
commit6313988469802db5a784da6feab0b2eb53faaa4d
tree302fd0b7e3f9238803dafb4f86fc2f15a4c7e8f0
parent5ebbf4d956f8f2c25f5b84b64192bd44c02eb363
parenta11fb8945e347da11e185034a830e94e8fa910f2
Merge pull request #14682 from demeritcowboy/div-div-div-div-div

dev/core#1086 - Mismatched div and /div tags in caseTypeDetails.html