You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Ignore Debian-specific catkin_lint error around urdfdom_headers (#614)
Without the patch:
$ catkin_lint rviz_marker_tools/
rviz_marker_tools: package.xml: error: missing build_depend on 'urdfdom_headers'
requires catkin_lint 1.6.24 for successful error suppression.
0 commit comments