The following packages ended up in the wrong component in the -proposed pocket:
linux-tools-omap4 3.0.0.1208.7 - is in universe instead of main
Once this is fixed, set the promote-to-proposed to Fix Released again
The following packages ended up in the wrong component in the -proposed pocket:
linux-tools-omap4 3.0.0.1208.7 - is in universe instead of main
Once this is fixed, set the promote-to-proposed to Fix Released again