Thanks for the report, this has been fixed in version 1.14.3+ds1-5 (currently in Debian unstable) and should be part of the next Ubuntu release.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1815896 Title: Missing header files To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ros-ros-comm/+bug/1815896/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
