Paulo Matos <[email protected]> writes: > Hi David, > > What's the status of this issue? > > If it still persists, maybe it would be a good idea to open an issue in > github. >
Nothing changed on my side since my message of January 17. I can file a github issue later when I have the relevant credentials. I'm not really sure how to summarize this thread, so any suggestions there would be welcome. d -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/87sgj8yez8.fsf%40tethera.net.
