Comment # 13 on bug 1012533 from Tom de Vries

(In reply to Tom de Vries from comment #12)
> (In reply to Michael Schr�der from comment #11)
> > Looks good to me, but I'm not a debuginfo expert.
> 
> Thanks for the review.
> 
> > Could you open a pull
> > request at https://github.com/rpm-software-management/rpm so that we get
> > some input from upstream rpm?
> 
> https://github.com/rpm-software-management/rpm/pull/795

It got merged.