On Tue, Sep 27, 2011 at 9:19 AM, Garth N. Wells <[email protected]> wrote: > This change will break the buildbots until Boost is updated on the buildbots.
Yes, I'm working on this now (two fixed, two to go). Johannes _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
