As discussed with Marco Trevisan on IRC https://irclogs.ubuntu.com/2021/06/16/%23ubuntu-desktop.html#t14:06 Two potential solutions here.
Attached is a simple debdiff to drop the git-revert patch without amending the so-name
As discussed with Marco Trevisan on IRC https:/ /irclogs. ubuntu. com/2021/ 06/16/% 23ubuntu- desktop. html#t14: 06 Two potential solutions here.
Attached is a simple debdiff to drop the git-revert patch without amending the so-name