OK. We can fix the duplicate menu thing ourselves, by updating ubuntustudio-menu. I have pushed a fix to the source bzr branch for that.
On Bug #1550210, I will reduce the patch down to just fixing the execution problem by settining Terminal=true in the desktop file. Hopefully it will be easier to find a sponsor then.
OK. We can fix the duplicate menu thing ourselves, by updating ubuntustudio-menu. I have pushed a fix to the source bzr branch for that.
On Bug #1550210, I will reduce the patch down to just fixing the execution problem by settining Terminal=true in the desktop file. Hopefully it will be easier to find a sponsor then.