consolidation / robo

Completed

by Greg

created 2017-09-07 00:41 UTC

Good job, 3 issues were fixed.

8.88

▶ ± 0

Head	Greg Anderson 2017-09-07 00:41 GMT+0000 Merge f15fb63f8d568b885b7d884a210164c152fcf108 into a4176520ec9601e505010deb2468ff52e6fbe2d8
⋮	6 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.