dolfin team mailing list archive

[Johan Hake <johan.hake@xxxxxxxxx>]

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 noreply@xxxxxxxxxxxxx wrote:
> ------------------------------------------------------------
> revno: 5260
> committer: Anders Logg <logg@xxxxxxxxx>
> 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