David Storrs <david.sto...@gmail.com> writes: > The list is named racket-users, so the question of "who do we want as > Racket users?" seems pretty on-point to me. Still, I get how it might not > interest everyone. Maybe just mute this thread?
It's not so much this thread as future threads that are likely to arrive, judging from what has happened in many other places. The name of the list was chosen aeons ago in different circumstances, so I don't think it should be the basis for defining the list's purpose today. The question is rather whether we want to combine or separate community introspection and community purpose. I am for separating. Konrad. -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/m1v9w1rfug.fsf%40ordinateur-de-catherine--konrad.home. For more options, visit https://groups.google.com/d/optout.