Everyone else: This was once fixed in the PPAs eons ago, but packaging changes in Debian which needed incorporated took precedent and the changes were lost.
I need to know, however, which versions of Ubuntu are affected by this issue. If it's a global issue, it should be sent up to Debian; if it's specific to only a few Ubuntu versions, then that has its own workflow for me to fix.
Otto: I'm replying to you via email.
------
Everyone else: This was once fixed in the PPAs eons ago, but packaging changes in Debian which needed incorporated took precedent and the changes were lost.
I need to know, however, which versions of Ubuntu are affected by this issue. If it's a global issue, it should be sent up to Debian; if it's specific to only a few Ubuntu versions, then that has its own workflow for me to fix.