Indeed. Let's forget about it, then. JMarc.
Le 16 mars 2015 12:32:08 CET, "Jürgen Spitzmüller" <sp...@lyx.org> a écrit : >2015-03-15 18:47 GMT+01:00 Jean-Marc Lasgouttes: > >> We do not have a use case yet, but you commit that minus the part >that >> defines the set<> version. > >I am not really sure it makes sense if we just need VectorFromString, >since >the change replaces push_back with insert in the template (since Set >does >not have push_back), and this operation is apparently a bit more >expensive >(so I learned).
