[Merge] ~paelzer/ubuntu-seeds/+git/ubuntu:pmdk-extra-exclude into ~ubuntu-core-dev/ubuntu-seeds/+git/ubuntu:focal

[Christian Ehrhardt ]

Thanks, merged.

The component-mismatches will soon look much less cluttered and then we can ask about promoting those we want now.

And yes, later promotions can be done via seed changes referring to the existing MIR bug.
-- 
https://code.launchpad.net/~paelzer/ubuntu-seeds/+git/ubuntu/+merge/378435
Your team Ubuntu Core Development Team is subscribed to branch ~ubuntu-core-dev/ubuntu-seeds/+git/ubuntu:focal.