tue-robotics / tue_robocup

RoboCup challenge implementations
https://github.com/orgs/tue-robotics/projects/2
42 stars 12 forks source link

fix(find-people-in-room): Fix list filtering #1206

Closed ar13pit closed 2 years ago

ar13pit commented 2 years ago

Fix list filtering

ar13pit commented 2 years ago

Commit already in rwc2022 branch

MatthijsBurgh commented 2 years ago

Closing in favor of the rwc2022 PRs