Subject: [Instant-dev] [HG instant] Check for errors while pushing.

From: [email-masked] (Instant)
Date: Thu, 17 Jul 2008 11:32:54 +0200 (CEST)

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

changeset:   161:067774ded47ed9745762e6b5a4ac1cc328df872f
tag:         tip
user:        [email-masked]
date:        Thu Jul 17 11:32:50 2008 +0200
files:       TODO
description:
Check for errors while pushing.

changeset:   160:3fa9a00097908fa1db84c5413c6c3634c4aad88d
user:        [email-masked]
date:        Thu Jul 17 11:22:45 2008 +0200
files:       TODO
description:
Check for errors while pushing.

changeset:   159:1bcc9dbb478603785888eca265753dc751bc0bfe
user:        [email-masked]
date:        Thu Jul 17 11:14:20 2008 +0200
files:       TODO
description:
Test writing permissions.

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