← Back to team overview

dolfin team mailing list archive

Thread
Date

Merging into trunk

To: DOLFIN Mailing List <dolfin@xxxxxxxxxxxxxxxxxxx>
From: "Garth N. Wells" <gnw20@xxxxxxxxx>
Date: Thu, 17 Nov 2011 10:57:13 +0000

When pushing changes to the 1.0 branch, please also merge into trunk.
This is much easier than dealing with merge conflicts from many change
sets.

Garth

Follow ups

Re: Merging into trunk
From: Anders Logg, 2011-11-17