On Thu, Oct 8, 2015 at 9:18 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > At Wed, 7 Oct 2015 17:35:44 -0700 (PDT), Anurag Mendhekar wrote: >> Having just submitted my first contribution to Planet > > [Note: We use the name "Planet" for an older package system. I see that > you uploaded a package in the new system; assuming that you didn't also > upload to the old system, calling the new one "Planet" may be confusing > some here --- including Robby. We call the new one just "the package > repository".]
Whoops, sorry! Robby -- 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.
