Ubuntu
budgie-desktop package

  1. Bug #1880824
  2. Comment #4

Comment 4 for bug 1880824

Revision history for this message
fossfreedom (fossfreedom) wrote :

thanks - I suspect then its a mutter issue that has been resolved.

Since 19.10 is end-of-life very soon there isn't much point really to spend any time on this resolving.