Subject: [Dorsal-dev] [HG dorsal] merge.

From: [email-masked] (Dorsal)
Date: Tue, 29 Sep 2009 19:12:32 +0200 (CEST)

One or more new changesets pushed to the primary dorsal repository.
A short summary of the last three changesets is included below.

changeset:   246:4430bc2ca5e2
tag:         tip
parent:      245:cee4be97f443
parent:      244:9e8aca01d00f
user:        "Garth N. Wells <[email-masked]>"
date:        Tue Sep 29 18:12:28 2009 +0100
description:
merge.

changeset:   245:cee4be97f443
parent:      242:dd5635a27cd4
user:        "Garth N. Wells <[email-masked]>"
date:        Tue Sep 29 18:12:14 2009 +0100
files:       platforms/rhel5.platform
description:
Some more RHEL5 updates.

changeset:   244:9e8aca01d00f
user:        Harish Narayanan <[email-masked]>
date:        Tue Sep 29 19:08:09 2009 +0200
files:       packages/petscwithmumps.package
description:
Added a swollen version of petsc for reference

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/dev/dorsal