K 10
svn:author
V 2
pi
K 8
svn:date
V 27
2019-11-24T19:53:39.740505Z
K 7
svn:log
V 527
merge duplicate ROS-related ports in devel and misc

There are currently duplicate ports for ROS:

devel/ros-console_bridge and misc/console-bridge
devel/ros-urdfdom and misc/urdfdom
devel/ros-urdfdom_headers and misc/urdfdom-headers

This patch merges the misc ports into the devel ports. The upshot
should be that the duplication and confusion is removed but we keep
the functionality.

PR:		241744
Submitted by:	Trenton Schulz <trueos@norwegianrockcat.com> (maintainer)
Approved by:	yuri (maintainer of the duplicate ports)

END