dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

On Tue, Nov 15, 2011 at 09:44:36PM -0800, Johan Hake wrote:
> I see that some recent fixes for the stable branch are not merged into trunk.
> I think we should have a policy to always merge with trunk whenever we commit
> something to the stable branch.

Agree, but there have been problems with the fixes submitted over the
last couple of days. The buildbot was broken for some time, and my
personal buildbot was either timing out or was offline. Johannes has
moved my buildbot to another server which will help.

--
Anders