Ubuntu
gazebo package

  1. Bug #1773811
  2. Comment #4

Comment 4 for bug 1773811

Revision history for this message
Jeremy Bícha (jbicha) wrote :

Jose, Ubuntu Stable Release Update policy requires that bugs be fixed in the current development release (currently Ubuntu 18.10 "cosmic") before being fixed in stable release updates.

See #1 of https://wiki.ubuntu.com/StableReleaseUpdates#Procedure

Since gazebo is mostly maintained by Debian, I strongly encourage you to file this bug in Debian first. If you've never reported a bug in Debian before, this page may help:
https://wiki.ubuntu.com/Debian/Bugs