Closed MatthijsBurgh closed 4 years ago
For tue_robocup, I propose to split the PR into:
Checked above means PR merged or none needed?
Both, Checked means no action needed anymore. I deleted all the unchanged rwc2019 branches already. And now we will start merging stuff, those will need to be checked, when a PR is merged. Those with a merged PR will sill have the link to the PR there.
tue_robocup:
examples for robot_smach_states: