I remeber that I saw linux-headers-4.19.0-0.bpo.6-common=4.19.67-2+deb10u1~bpo9+1 in the archive yesterday... Maybe I'm hallucinating :-)
Something changed again and now that version is available again. So if it stays available I guess we can consider this bug resolved. -- Markus
