Merge "Several minor fixes."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 28 Feb 2013 20:42:15 +0000 (20:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 Feb 2013 20:42:15 +0000 (20:42 +0000)
commit76c39b32b0d047971bcee06ee2ae03436df0a587
tree62e4c56324bff3bfa0b6153c4ef02a6f85bf90b8
parentfa40ca6713029857891419c1ca68d393876f8c6c
parent81c42c811fbc14d0573ebbe9911e30ca3314b1f2
Merge "Several minor fixes."