Thanks for committing! I've not managed to convince the freedesktop.org list, and it looks like the issue is tricky for corner cases. But anyway, the fix is a good thing in general, and for now we're going to rely on it, so it will help beta users and contributors. I'm not sure we will use it at the end, but we may well rely on it, combined with other methods.
-- Use standard name for .desktop files https://bugs.launchpad.net/bugs/331768 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
