consolidation / robo

Completed

by Greg

created 2017-09-07 00:38 UTC

Good job, 3 issues were fixed.

8.88

▶ ± 0

Head	Greg Anderson 2017-09-07 00:38 GMT+0000 Merge 726566ff4a442e53c1a9fa108d42957373866c3b into a4176520ec9601e505010deb2468ff52e6fbe2d8
⋮	5 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.