dolfin team mailing list archive

[Johannes Ring <johannr@xxxxxxxxx>]

On Fri, Nov 6, 2009 at 8:44 AM, Anders Logg <logg@xxxxxxxxx> wrote:
> On Fri, Nov 06, 2009 at 08:37:20AM +0100, Anders Logg wrote:
>> I'll take a look.
>
> I think I've found the problem. I'm in the middle of some other edits
> so I'll push the fix at the same time as I push the new changes.

Good.

Johannes