On Tue, Nov 8, 2011 at 8:24 PM, Johan Hake <johan.h...@gmail.com> wrote: > Looks like the buildbot did not like my removal of commit and recommit with > the correct commit message... > > Can you, Johannes, delete the branch on the buildbots and repull?
Done. Johannes _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
