Re: boost update

[Jean-Marc Lasgouttes]

Agreed.

So is that a red flag to Peter?

I mean a _green_ flag of course...

Yes, from m at least. José?

JMarc