On 04/29/2015 12:06 PM, 'John Clements' via Racket Users wrote:
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.)
I suggest we thank John for carrying out this annoying drudgery whose
results are good but unobservable to most of us.
Thanks, John. :)
Neil ⊥
--
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.
