Merge "Removed useless "while" loop"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Jun 2014 00:27:39 +0000 (00:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Jun 2014 00:27:39 +0000 (00:27 +0000)
commitc7772da144d9b7b3975c53e6698bfdd3c0b4baec
tree09981f3f4e3916f727090a247c5e18970ee9b2a4
parent85b63ba859a8e41301812bd617a2d5347bb78b68
parentc2572eb67164b529516381c4bd5cf3af3067fa86
Merge "Removed useless "while" loop"