mirror of
https://github.com/micro-ROS/micro-ROS-Agent.git
synced 2026-09-06 09:55:15 +02:00
* Fix 'microxrcedds_agent' name and dependency
* Set tag of 'microxrcedds_agent'
---------
(cherry picked from commit 5e42d6ab6f)
Signed-off-by: David Laseca Perez <davidlaseca@eprosima.com>
Co-authored-by: David Laseca Perez <davidlaseca@eprosima.com>