Merge "Group public and private properties"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 4 Dec 2013 22:36:30 +0000 (22:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 4 Dec 2013 22:36:30 +0000 (22:36 +0000)
commitd0679b0a96ee2730b054156391a7ee104fa3beb6
tree70f08aa448f64aad6848244c5243ca6d256be0a7
parentaffcc4d8cf6db168ce427fcfdea50ced9fa0e5ec
parentb283817e32a585d08f1a2f55d3f1184451dc3817
Merge "Group public and private properties"