Ok, Chris said, and I agree, that in general we should not submit bugs
What should we do with this bug, then? Should we leave it closed even
if it's apparently not fixed?:
[ Note: I'm intentionally not Cc:ing the bug address ].
Reproducible-builds mailing list