Merge "API Cleanup: renamed '_badcontinue'->'badcontinue', one die()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 15 Jan 2013 20:19:33 +0000 (20:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 15 Jan 2013 20:19:33 +0000 (20:19 +0000)
commitbc882a078e7eb782b79a88ae1cf3560848790082
tree96374089c28224e0fb5d50a85c019e09fdfe658e
parent69843b5db51296cc603a8b2ea2cfe9e94f9461fa
parent983545c362921cd1a60b5f00d1d0088c51072cdc
Merge "API Cleanup: renamed '_badcontinue'->'badcontinue', one die()"