No, you're right, see my last comment in the bug.
PPA packaging is correct, I need to fix *ubuntu* packaging.
I'll reject this MR myself. Thanks for catching this!
« Back to merge proposal
No, you're right, see my last comment in the bug.
PPA packaging is correct, I need to fix *ubuntu* packaging.
I'll reject this MR myself. Thanks for catching this!