> On 21 Jan 2025, at 18:55, Cay Horstmann <[email protected]> wrote: > > +1 > > But what is IO.read?
A typo! Thanks Cay - resent with correction. Many Thanks, Gavin
> On 21 Jan 2025, at 18:55, Cay Horstmann <[email protected]> wrote: > > +1 > > But what is IO.read?
A typo! Thanks Cay - resent with correction. Many Thanks, Gavin