Hi there, On Thu, Mar 20 2025, Ian Eure wrote:
> I think the bot messages have value I turned the messages off again, as I did not wish to make enemies. I made my point: Closing bugs takes work, and '/ignore debbugs' is not a good general policy. Kind regards, Felix P.S. Thanks to Ian and Rutherther, who still talk to me, for being such good sports!
