At Sun, 15 Nov 2015 13:24:07 +0300, Dmitry Pavlov wrote: > On 11/13/2015 06:33 PM, Matthew Flatt wrote: > > [...] So, if the immediate > > repair doesn't solve the problem for you, a follow-up change might. > > [...] > Is it e3d78e4, or it is to be done yet?
Yes, it's e3d78e4. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
