Yes, that would be very nice. I'm not holding out much hope of this being fixed for 18.04, but even if we have to upgrade to 20.04 to get the fix we might prioritise that.
Yes, that would be very nice. I'm not holding out much hope of this being fixed for 18.04, but even if we have to upgrade to 20.04 to get the fix we might prioritise that.