Pavel Sanda wrote:
> > >An easier long-term fix (for branch) would be to make
> > >--with-external-boost the default.
> >
> > 
> > Yes, but for now, I'd prefer another upgrade.
> 
> so we can do it for trunk now?

Dunno.

Jürgen

Reply via email to