[Bug 46786] work around Bug #42115

[Alvin Thompson]

Public bug reported:

Binary package hint: gnome-panel

see my comment in  Bug #42115

** Affects: gnome-panel (Ubuntu)
       Severity: Normal
       Priority: (none set)
         Status: Unconfirmed

-- 
work around  Bug #42115
https://launchpad.net/bugs/46786