Merge "FormatJson: minor cleanup"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 11 Oct 2013 17:26:03 +0000 (17:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 11 Oct 2013 17:26:03 +0000 (17:26 +0000)
commit55dc0f811cbb3b90314b11742be785c3b0dbb9ee
tree7bf04ebc547ad0be64902067afba35889309767e
parentd5ef8318c0f833dba40ee36413d2db721b63f1a2
parent39e22628f7c8dfeaff522c6a0ca06c0899743ff7
Merge "FormatJson: minor cleanup"