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

Wed Dec 18 12:06:26 UTC 2019
Dominique Martinet <dominique.martinet at cea.fr>


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?