Ubuntu
urdfdom-headers package

  1. Bug #1817595
  2. Comment #16

Comment 16 for bug 1817595

Revision history for this message
Seth Arnold (seth-arnold) wrote :

Julian, can you take another look at this bug? Your comments here give me the impression you've uploaded the package, but I only see the version in the -release pocket in Bionic:

https://launchpad.net/ubuntu/+source/urdfdom-headers
https://launchpad.net/ubuntu/+source/urdfdom

Are there any blockers left? The debdiffs looked good to me, the changes are in focal. Even though the urdfdom-headers changes are to a header file and inlined methods, I don't see any Built-Using: lines that would indicate any other packages need to be rebuilt afterwards. (Is this correct? Or is this a failing of the tooling?)

Thanks