It was set correctly but for some reason didn't work even though the same change worked correctly on julia-dev. The Google Groups admin tools are a train wreck of brokenness and confusion – one of the many reasons we're moving away. I had to go through and manually set everyone's posting permissions, so hopefully now people can't post. Admins and managers will still occasionally use this list for announcements since we probably won't get most people to join Discourse immediately.
On Fri, Nov 25, 2016 at 11:47 AM, Waldir Pimenta <waldir.pime...@gmail.com> wrote: > On Friday, November 25, 2016 at 4:47:07 PM UTC, Waldir Pimenta wrote: > > On Friday, November 25, 2016 at 3:13:51 PM UTC, Yichao Yu wrote: > > > > > > Also, please stop posting on this list and move to > > > https://discourse.julialang.org/ > > > > > > > Wasn't this list locked for new posts? Maybe there's something wrong > with the configuration. > > Sorry, I meant new threads.
