TL;DR. All OK. Only if you’re interested, a brief status report on the transition to Google Groups:
- all old users invited. - google groups still quarantines some things I wish it wouldn’t (just approved 2 posts from sketchy-sounding “McCarthy” person) - we now have 911 users, which may be as much as 9/13 of our old total but is more likely 9/17 of our old total—denominator is difficult to compute because of email overlap - both mirrors are now working correctly. - a few people pleased about things possible in the new interface, no lost features that I’m aware of. In principle, the ‘announce’ list would be next, though I’m a bit leery of making extra work (‘please sign up here’) for people who may not really want to get a lot of e-mail. (Suggestions appreciated.) John Clements -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
