Carsten, et al,

I'll give this a try when I'm out from behind my corporate firewall. For
reasons I cannot comprehend, repo.or.cz is being blocked.

On that note, is there anyplace else I can clone org from?

Thanks,
Mike


On Mon, Oct 27, 2008 at 5:30 AM, Carsten Dominik <dominik@science.uva.nl>wrote:

> Hi Mike,
>
> in the latest git version, this should now work (untested, so please
> confirm).
>
> - Carsten
>
>
>