You appear to be right :( My patch in comment #28 is correct, but the one we actually released is not:
https://launchpadlibrarian.net/563648801/gnome-shell-extension-desktop- icons_20.04.0-3~ubuntu20.04.3_20.04.0-3~ubuntu20.04.4.diff.gz ** Changed in: gnome-shell-extension-desktop-icons (Ubuntu Focal) Status: Fix Released => In Progress -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1898005 Title: gnome-shell crashed with SIGABRT in st_bin_destroy: assertion failed: (priv->child == NULL) called from DesktopManager::_destroyDesktopIcons() [desktopManager.js:234] To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1898005/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs