Subject: [Deb-dev] [HG DebianPackages] merge

From: [email-masked] (Debian packages)
Date: Thu, 2 Aug 2007 18:01:24 +0200 (CEST)

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

changeset:   32:8eb19e5cebd89d97bb88e45cb749ccab41820738
tag:         tip
parent:      31:71345ebe7afd167ffe79296aada8ffb3e453d5e4
parent:      30:baeae46f335c5553a105c6b18ba51b0d88c2a7f7
user:        "Anders Logg <[email-masked]>"
date:        Thu Aug 02 17:59:25 2007 +0200
files:       build_package.sh scripts/get_packages.sh scripts/test_install.sh scripts/test_repository.sh
description:
merge

changeset:   31:71345ebe7afd167ffe79296aada8ffb3e453d5e4
parent:      28:08f2ac7ebedcd53ba0f84b0d0c085f5af57c0b75
user:        "Anders Logg <[email-masked]>"
date:        Thu Aug 02 17:58:43 2007 +0200
files:       README build_package.sh
description:
Add public key to repository as part of building a package

changeset:   30:baeae46f335c5553a105c6b18ba51b0d88c2a7f7
user:        "Anders Logg <[email-masked]>"
date:        Thu Aug 02 12:46:31 2007 +0200
files:       scripts/get_packages.sh scripts/test_install.sh scripts/test_repository.sh
description:
Further cleanups

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/debianpackages