Closed traversaro closed 1 year ago
@GiulioRomualdi @traversaro Sorry, I always forgot who is mantaining this repo.
The CI failures are unrelated (clearly). Merging
Thanks @traversaro
@GiulioRomualdi @traversaro Sorry, I always forgot who is mantaining this repo.