Ubuntu
urdfdom-headers package

  1. Bug #1817595
  2. Comment #20

Comment 20 for bug 1817595

Revision history for this message
Kyle Fazzari (kyrofa) wrote :

Thanks for testing, Simon!

> I was not able to find any fields where I could set "verification-done-bionic"

Right under the bug description you'll see a set of tags that you can edit.