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
You appear to be right :(
My patch in comment #28 is correct, but the one we actually released is not:
https:/ /launchpadlibra rian.net/ 563648801/ gnome-shell- extension- desktop- icons_20. 04.0-3~ ubuntu20. 04.3_20. 04.0-3~ ubuntu20. 04.4.diff. gz