Robo cup

See merge request main/Sumatra!1155

sumatra-commit: 2ce9f8dccde73e3a4d97b2da485c02ff4e17bb38
1 job for robocup-2019 in 2 minutes and 31 seconds (queued for 2 seconds)
latest