Closed rotu closed 4 years ago
Have you tried running the patch?
Have you tried running the patch?
I hadn't, as can be seen from CI!
This patch now works correctly and is ready for review
With the REP update merged (ros-infrastructure/rep#256) this can be merged whenever the maintainers are ready.
As per https://github.com/ros-infrastructure/rep/pull/256