wp-cli/wp-cli — pull request #1573 by danielbachhuber (2014-12-16 20:52:21+00:00)
Title: Update php-cli-tools to v0.10.3

Release notes: https://github.com/wp-cli/php-cli-tools/releases/tag/v0.10.3

Fixes #1537