Ubuntu
linux package

  1. Bug #1699772
  2. Comment #124

Comment 124 for bug 1699772

Revision history for this message
Wladimir Mutel (mwg) wrote :

Is there any chance to have this fixed in Ubuntu 18.04 earlier than 20.04 is released ?