On Mon, Mar 5, 2018 at 9:03 PM, Romain Manni-Bucau <rmannibu...@gmail.com> wrote:
> > > Le 5 mars 2018 21:35, "Jonathan Gallimore" <jonathan.gallim...@gmail.com> > a écrit : > > The name "MicroProfile" suggests an element of being small, so I'm not > sure why we'd only add this to our biggest distribution and no where else. > I've built the change (thanks for the help Roberto), and it adds <100KB to > the binary. I'd definitely add it to Plus and Plume, but I think we should > either add it web profile, or if we really don't want it in WebProfile, I > see no harm in an extra flavour that is webprofile + microprofile. > > > Ok for plume and plus for me, please not to WP. > Would you be ok with the MP profile then? Seems like reasonable middle ground. Without that, folks who want "Micro"Profile features would be forced to use the biggest flavours. > > Open point: should it be switchable to off even if provided in case it > breaks apps? > I'm ok with that. Jon
