Hi Paul,
> [I] have other things I find more urgent than an upload only fixing
> a reproducibility issue.
Well, uploads are "cheap" and, after all, one can always upload
again… No, will leave to you :)
Warm regards,
--
,''`.
: :' : Chris Lamb
`. `'` lamby@debian.org / chris-lamb.co.uk
`-