Migrating REP PRs from ros-infrastructure/rep #9
Description
In the old REP repo (ros-infrastructure/rep) were still a few REPs in the process of being finalized.
Such as ros-infrastructure/rep#360.
Will these be migrated to this repository?
{{ message }}