In response to your last ML email, I've asked the ML to move back to topic.
On Sat, Aug 25, 2018 at 2:09 PM, Niall Douglas <[email protected]> wrote: > On Saturday, August 25, 2018 at 8:42:12 PM UTC+1, Michael Caisse wrote: >> >> I'm interested in Bryce's response to Marshall's question. >> >> If the conversation continues I would be happy to get back on ML topic by >> encouraging a proposal to the Steering Committee that we can evaluate. >> >> +1 > > And for the record, received plenty of heated private mail on this as > well. It's boost-dev, after all. God forbid we should get passionate and > upset about C++ libraries! > > Niall > > > -- > The Boost Steering Committee webpage: https://sites.google.com/a/ > boost.org/steering/ > --- > You received this message because you are subscribed to the Google Groups > "Boost Steering Committee" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/boost-steering. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/boost-steering/4f45a81a-5209-4fcd-ab3d-e22974551637% > 40googlegroups.com > <https://groups.google.com/d/msgid/boost-steering/4f45a81a-5209-4fcd-ab3d-e22974551637%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- The Boost Steering Committee webpage: https://sites.google.com/a/boost.org/steering/ --- You received this message because you are subscribed to the Google Groups "Boost Steering Committee" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/boost-steering. To view this discussion on the web visit https://groups.google.com/d/msgid/boost-steering/CAKDacyVQgwbk0-bZDXRx_jtjz-4-%3Dp-KTdPdR3vy56PEfwQ%2BJQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
