> 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.
:)


Regards,

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

_______________________________________________
Reproducible-builds mailing list
Reproducible-builds@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/reproducible-builds

Reply via email to