When asking those questions, I assumed that changing it for everyone in 20.04 is an option under consideration. At least that's how I interpreted Sebastien's comment here:
OTOH, if we'd only backport the package without changing any reverse dependencies, I realize that "main" does not apply. Doing so would help a few, but most users wouldn't notice.
When asking those questions, I assumed that changing it for everyone in 20.04 is an option under consideration. At least that's how I interpreted Sebastien's comment here:
https:/ /discourse. ubuntu. com/t/desktop- icons-integrati on-problems/ 14577/22
OTOH, if we'd only backport the package without changing any reverse dependencies, I realize that "main" does not apply. Doing so would help a few, but most users wouldn't notice.