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
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