Subject: bug#20071: Bug Hunting: status?

From: zimoun <[email-masked]>
Date: Tue, 12 Nov 2019 21:21:50 +0100

Dear,

This bug is pending since more than 4 years. Does it still apply?
If yes, any progress to report?
If no, does it make sense to close it?

Thanks in advance.

All the bets,
simon