[Dune] [christi at dune-project.org: [Dune-Commit] dune-common r5421 - trunk/bin]

[Christian Engwer]

I think this bug is also in the release branch. Please merge.

Christian
-------------- next part --------------
An embedded message was scrubbed...
From: christi at dune-project.org
Subject: [Dune-Commit] dune-common r5421 - trunk/bin
Date: Mon, 09 Feb 2009 18:35:21 +0100
Size: 5302
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20090209/42c5e5c7/attachment.eml>