> 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