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

-- Brian Stinson brian@bstinson.com On Wed, Dec 18, 2019, at 06:06, Dominique Martinet wrote: > 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 > _______________________________________________ > CentOS-devel mailing list > CentOS-devel@centos.org > https://lists.centos.org/mailman/listinfo/centos-devel >