dolfin team mailing list archive

[Johannes Ring <johannr@xxxxxxxxx>]

On Fri, Nov 6, 2009 at 11:11 AM, Anders Logg <logg@xxxxxxxxx> wrote:
> On Fri, Nov 06, 2009 at 08:46:41AM +0100, Johannes Ring wrote:
>> 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
>
> This should be fixed now.

Okay, lets see what the buildbot says. I forced a rebuild now.

Johannes