It's merged in
https://github.com/racket/racket/commit/28a46e36c6f02017d2430b973e0dc8a66b66c94b
It's too late for the 8.1 version, but it will be included in the 8.2
version.
Gustavo
El mié, 14 de abr. de 2021 a la(s) 13:59, Gustavo Massaccesi (
gust...@oma.org.ar) escribió:
> Thanks for the re
Thanks for the report. I think the fix is correct, but this is a part of
the code I don't use too much.
I made a pull request, https://github.com/racket/racket/pull/3785 so
someone can confirm it's correct and the message is not lost.
If you have an account in Github you can subscribe to this PR
2 matches
Mail list logo