Carsten, et al,<br><br>I&#39;ll give this a try when I&#39;m out from behind my corporate firewall. For reasons I cannot comprehend, <a href="http://repo.or.cz">repo.or.cz</a> is being blocked. <br><br>On that note, is there anyplace else I can clone org from?<br>
<br>Thanks,<br>Mike<br clear="all"><br><br><div class="gmail_quote">On Mon, Oct 27, 2008 at 5:30 AM, Carsten Dominik <span dir="ltr">&lt;<a href="mailto:dominik@science.uva.nl">dominik@science.uva.nl</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi Mike,<br>
<br>
in the latest git version, this should now work (untested, so please confirm).<br>
<br>
- Carsten<div><div></div><div class="Wj3C7c"><br>
<br>
</div></div></blockquote></div><br>