Hmm, actually, if the problem did get worse or more common in 19.04 then we should use bug 1822179 instead.
Certainly after July [1], Ubuntu 18.10 won't be relevant any more.
[1] https://wiki.ubuntu.com/Releases
Hmm, actually, if the problem did get worse or more common in 19.04 then we should use bug 1822179 instead.
Certainly after July [1], Ubuntu 18.10 won't be relevant any more.
[1] https:/ /wiki.ubuntu. com/Releases