No, it wasn't. Some parts of the community were aware of it, but calling it a community decision is overstating it.
On Tuesday, 15 November 2016 15:30:52 UTC, Robin Heggelund Hansen wrote: > > This was very much a community decision > -- You received this message because you are subscribed to the Google Groups "Elm Discuss" 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.
