Merge "Random documentation tweaks"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 Jan 2014 00:50:30 +0000 (00:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 Jan 2014 00:50:30 +0000 (00:50 +0000)
commitb6d6d778182f60376f69463d9426894173304c97
treedcbb9de9a6f8068dc64ea0e7a73728099fac54ff
parent923a6e62b844c447473785214eb9c7cd5b841cb9
parent8a096e3444d592e442f62d035bcd4048f32b72e3
Merge "Random documentation tweaks"