It looks like your recent fixes for the timing has fixed this bug: https://bugs.launchpad.net/dolfin/+bug/628690
Nice! Johan On Thursday November 11 2010 11:47:35 [email protected] wrote: > ------------------------------------------------------------ > revno: 5260 > committer: Anders Logg <[email protected]> > branch nick: dolfin > timestamp: Thu 2010-11-11 20:45:37 +0100 > message: > Silly bug fix > modified: > dolfin/common/Timer.h > > > -- > lp:dolfin > https://code.launchpad.net/~dolfin-core/dolfin/main > > Your team DOLFIN Core Team is subscribed to branch lp:dolfin. > To unsubscribe from this branch go to > https://code.launchpad.net/~dolfin-core/dolfin/main/+edit-subscription _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
