> What should we do with this bug, then? Should we leave it closed even
> if it's apparently not fixed?:

I am unclear why this requires any special treatment or private
discussion. Please re-open the bug with the correspending "found" header
as if it were any other issue in Debian that was not actually resolved.


     : :'  :     Chris Lamb
     `. `'`      la...@debian.org / chris-lamb.co.uk

Reproducible-builds mailing list

Reply via email to