[CentOS-devel] missing debuginfos (Was: src.rpm) for updated centos 8 kernels?

Hi,

Brian Stinson wrote on Thu, Nov 21, 2019 at 05:15:47PM -0600:
>>> We are working on getting these out to vault. Our sync procedures
>>> are changing a little bit behind the scenes to make sure we can
>>> catch this a little bit easier in the future.
> [...]
> These should be out on vault by now. 

Getting back to this, as I took it for granted that it was about both
src.rpm and debuginfos which I had mentioned briefly, but it apparently
only was for srpms.

Is a similar fix planned for debuginfos?


Thanks,
-- 
Dominique