Closed doudou closed 9 years ago
Do not merge, this is more for commenting / discussing the fine-details of the feature for now.
Merged, the relevant PRs have been merged on roby and syskit
Do not merge, this is more for commenting / discussing the fine-details of the feature for now.