Closed PetervDooren closed 4 years ago
merge together with https://github.com/tue-robotics/tue_robocup/pull/1017
This PR is changed to #135 which uses the correct branch name (for CI)
merge together with https://github.com/tue-robotics/tue_robocup/pull/1017