Thank you for taking the time to report this bug and helping to make Ubuntu better.
Next steps: we need to determine if this is fixed upstream already, or if a patch needs to be sent upstream. And we need to know if this is fixed in the current development release of Ubuntu. We need to understand the status of these before we can consider patching 18.04.
Thank you for taking the time to report this bug and helping to make Ubuntu better.
Next steps: we need to determine if this is fixed upstream already, or if a patch needs to be sent upstream. And we need to know if this is fixed in the current development release of Ubuntu. We need to understand the status of these before we can consider patching 18.04.