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 _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
