This message replaces the second part of the message <https://lists.dune-project.org/pipermail/dune/2010-June/007081.html>. The message had been split by an earlier version of mailman due to an embedded line starting with "From ", which had been mistaken for the start of a new message.