Closed florent-lamiraux closed 3 years ago
Hi ! This project doesn't usually accept pull requests on master. If this wasn't intentionnal, you can change the base branch of this pull request to devel (No need to close it for that). Best, a bot.
Dear hrp2-14. In this package, to be deployed on the project webpage, modifications need to be pushed on master.
Hi ! This project doesn't usually accept pull requests on master. If this wasn't intentionnal, you can change the base branch of this pull request to devel (No need to close it for that). Best, a bot.