rover pushed to project branch master at Avoid Control / Platform

rover
2020-05-24T10:07:18Z

rover (273336ff) at 24 May 10:07

Merge branch 'master' of gitlab.com:avoidcontrol/platform

... and 1 more commit