Paulo Matos <pmatos@linki.tools> 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 racket-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/87sgj8yez8.fsf%40tethera.net.
