I don't think these points should block promotion to main; these are all relatively minor, but because there's a bunch of them, I think these should be fixed quickly nevertheless.
Matthias, I think you have access to the Debian packaging upstream SVN, could you please fix the copyright issues there?
I don't think these points should block promotion to main; these are all relatively minor, but because there's a bunch of them, I think these should be fixed quickly nevertheless.
Matthias, I think you have access to the Debian packaging upstream SVN, could you please fix the copyright issues there?