<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<br>
<blockquote
cite="mid:7937A5C9-ACEF-4E62-BD0E-A8602C8A9B3F@iwr.uni-heidelberg.de"
type="cite">
<pre wrap="">
But I’m sure you’ll all agree that Dominic will be a good addition to the developer team!</pre>
</blockquote>
Yes! I agree.<br>
<br>
<blockquote
cite="mid:7937A5C9-ACEF-4E62-BD0E-A8602C8A9B3F@iwr.uni-heidelberg.de"
type="cite">
<pre wrap="">
Best,
Steffen
</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Dune-devel mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Dune-devel@dune-project.org">Dune-devel@dune-project.org</a>
<a class="moz-txt-link-freetext" href="http://lists.dune-project.org/mailman/listinfo/dune-devel">http://lists.dune-project.org/mailman/listinfo/dune-devel</a>
</pre>
</blockquote>
<br>
</body>
</html>