Hello, On Fri 02 Aug 2024 at 12:19pm +01, Luca Boccassi wrote:
> Sorry, but there's no other way to define this than a bug. Well, there > are many more I could mention, but then Russ would whip out the cane > ;-) Russ is not the only person who finds interactions with you difficult. Please don't trivialise his efforts to point you in a better direction by comparisng them to punishment for schoolchildren. -- Sean Whitton