Ubuntu
urdfdom-headers package

  1. Trusty (14.04)
  2. Bug #1471047
  3. Comment #2

Comment 2 for bug 1471047

Revision history for this message
Jose Luis Rivero (j-rivero) wrote :

Thanks for handling the bug Mathew.

Just one question: I'm seeing the bug marked as "Fix Released" but can not find the new version in Trusty or Vivid.