Thanks @corot, In the meantime I opened https://github.com/ros/rosdistro/pull/19199. I am planning to sync in about 12 hours. If you happen to have a fix by then I'll happily merge it and hold the sync for another day --- [Visit Topic](https://discourse.ros.org/t/preparing-for-lunar-sync-2018-09-28/6167/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: