Ubuntu
urdfdom-headers package

  1. Bug #1817595
  2. Comment #4

Comment 4 for bug 1817595

Revision history for this message
Victor Lamoine (victor-lamoine) wrote :

This is affecting me. This bug is very nasty because it is hard to trace the origin and many users are affected.