Subject: Bug Hunting: status?

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

Dear,

This bug is pending since a long time. Does it still apply?
If yes, any progress to report?
If no, do you agree to close it?

Thanks in advance for any comments.

All the best,
simon