Date: Tue, 05 Nov 2019 21:18:39 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 241744] [PATCH] merge duplicate ROS-related ports in devel and misc Message-ID: <bug-241744-7788@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D241744 Bug ID: 241744 Summary: [PATCH] merge duplicate ROS-related ports in devel and misc Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Many People Priority: --- Component: Individual Port(s) Assignee: ports-bugs@FreeBSD.org Reporter: trueos@norwegianrockcat.com CC: yuri@freebsd.org CC: yuri@freebsd.org Created attachment 208893 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=3D208893&action= =3Dedit Patch to merge the duplicate ports 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. --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-241744-7788>