Merge "Fix Tidy quietly breaking TOC disabling"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 25 Oct 2013 19:44:11 +0000 (19:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 25 Oct 2013 19:44:11 +0000 (19:44 +0000)
commita34dd90a36b2626a625e623bb49fb9c60169a603
treeee3fe404964da5928c0003d7873b57feb10f06ce
parenta681e58f4ee095eab5064ca78be4d5a7765cc6a1
parentd6f673c1157b75b33f9eeb3169fc2be25fb99da0
Merge "Fix Tidy quietly breaking TOC disabling"