consolidation / robo

Completed

by Greg

created 2017-09-07 19:36 UTC

Good job, 3 issues were fixed.

8.88

▶ ± 0

Head	Greg Anderson 2017-09-07 19:36 GMT+0000 Merge 6e4f2b846d51dd5e5e8cfd906e696c71ad564908 into a4176520ec9601e505010deb2468ff52e6fbe2d8
⋮	9 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.