consolidation / robo

Completed

by Greg

created 2017-09-08 00:06 UTC

Good job, 3 issues were fixed.

8.88

▶ ± 0

Head	Greg Anderson 2017-09-08 00:05 GMT+0000 Merge ff37e374b2bd480da59d32a04818380fc2b64f78 into a4176520ec9601e505010deb2468ff52e6fbe2d8
⋮	17 more commits
Base	Alexander Menk 2017-09-06 01:33 UTC Add self:update command to update Robo phar distributions to the latest available version on GitHub.