Skip to content

Conversation

@GiulioRomualdi
Copy link
Collaborator

@GiulioRomualdi GiulioRomualdi self-assigned this Sep 27, 2022
@S-Dafarra
Copy link
Collaborator

Maybe we can disable them also in sim 🤔

@GiulioRomualdi GiulioRomualdi merged commit d3b810d into master Sep 28, 2022
@GiulioRomualdi GiulioRomualdi deleted the planner/pause branch September 28, 2022 17:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants