Hi Paul/ Dmitry Shachnev,
For some amount of time, buildd and CI has not reported any failures for this package. So, if everything is fine, can we close this bug?
Thanks,
Gayathri