Dear Joost, On 18/08/23 17:27, Joost van Baal-Ilić wrote:
On Fri, Aug 18, 2023 at 04:35:27PM +0200, Sébastien Jodogne wrote:[...] Please could someone indicate me what I should do in such a situation? Thanks for any advice!Just send this explanation to 1041116-close@bugs.debian.org. Adding a pseudo-header indicating the version in which is was closed would be even better. HTH, Bye, Joost
Thanks for your explanation! The bug is now closed: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1041116#10 Best, Sébastien-