Sorry, I know you opened an issue about getting those in, and I haven't had time to come back to it. I'd suggest that we actually hold off on that for now, and do the sync on Tuesday. I'll make a bit of time next week to review the situation with actionlib/realtime_tools and make progress there.
---
[Visit Topic](
https://discourse.ros.org/t/preparing-for-melodic-sync-2018-06-08/5056/3) or reply to this email to respond.
If you do not want to receive messages from ros-users please use the unsubscribe link below. If you use the one above, you will stop all of ros-users from receiving updates.
______________________________________________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users
Unsubscribe: <
http://lists.ros.org/mailman//options/ros-users>
(text/plain)