Skip to content

Conversation

@traversaro
Copy link
Member

@Tobias-Fischer
Copy link
Collaborator

Yes we need to bump. Many thanks for this :)

@Tobias-Fischer
Copy link
Collaborator

I wonder if we still, in addition, should add your previous proposal of adding them in addition to gazebo dependencies.

@traversaro
Copy link
Member Author

I wonder if we still, in addition, should add your previous proposal of adding them in addition to gazebo dependencies.

Done in 49b309b . I am not sure which file we actually use, so I modified both.

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.

2 participants