Subject: [Dorsal-dev] [HG dorsal] Add another RHEL package

From: [email-masked] (Dorsal)
Date: Tue, 29 Sep 2009 21:34:41 +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:   251:e61cf6e05d4f
tag:         tip
user:        "Garth N. Wells <[email-masked]>"
date:        Tue Sep 29 20:34:38 2009 +0100
files:       platforms/rhel5.platform
description:
Add another RHEL package

changeset:   250:f83c7bcaf1ee
user:        "Garth N. Wells <[email-masked]>"
date:        Tue Sep 29 20:14:47 2009 +0100
files:       platforms/rhel5.platform
description:
Fix package name.

changeset:   249:06ef7870ff5e
user:        "Garth N. Wells <[email-masked]>"
date:        Tue Sep 29 20:09:40 2009 +0100
files:       platforms/rhel5.platform
description:
Add another RHEL5 package

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