On Tue, 2023-11-14 at 14:22 +0000, Barry wrote:
> On 13 Nov 2023, at 22:54, Patrick O'Callaghan
> <pocallaghan(a)gmail.com> wrote:
>
> This topic will close a month after the last reply.
That means closed to new replies, not that it is deleted.
Maybe, but it still means one can't answer an old question, which is
sometimes useful, including if one wants to reply to one's own query
with SOLVED.
poc