*** This bug is a duplicate of bug 1555993 ***
https://bugs.launchpad.net/bugs/1555993
Random crash after display_workspace_names_changed, fixed as bug
1555993.
** Changed in: libwnck (Ubuntu)
Status: New => Invalid
** Changed in: mate-panel (Ubuntu)
Status: Invalid => Fix
** Also affects: libwnck (Ubuntu)
Importance: Undecided
Status: New
** Changed in: mate-panel (Ubuntu)
Status: New => Invalid
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to libwnck in Ubuntu.