Hi! I've read the issue ticket and that sure sounds like the problem! I've
installed 8.1.0.7 and I'll see if that addresses it.
Thanks very much!
On Tuesday, 15 June 2021 at 08:44:27 UTC-4 Matthew Flatt wrote:
> Hi, and thanks for the report!
>
> That sounds like a bug that has been fixed for
Hi, and thanks for the report!
That sounds like a bug that has been fixed for the next release,
especially if you opened any HTML page (such as documentation) from
DrRacket.
For more information on a previous report and the repair:
https://github.com/racket/racket/issues/3832
Snapshot version
Ah! My apologies. I’ve added your name to our “preferred names” file, and I
hope not to make this mistake again.
Thank you!
John
> On May 8, 2021, at 13:38, Dexter Lagan wrote:
>
> Hello sir,
>
> Thank you ! My name is actually Dexter Santucci. Apologies for the
> confusion. My email addre
3 matches
Mail list logo