On 23/02/11 16:35, Anders Logg wrote: > Is it time to stop pushing so we don't make any last minute breaking > before the release? >
I can stop - the pushes were somewhat related to a bug fix. Garth > -- > 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 _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
