Subject: bug#65741: Thanks for debugging!

From: Felix Lechner <[email-masked]>
Date: Thu, 7 Sep 2023 09:47:32 -0700

Hi Bruno,

I also noticed that message. Thanks for proposing a fix!

Kind regards
Felix