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 wrote: > Hi Mike, > > in the latest git version, this should now work (untested, so please > confirm). > > - Carsten > > >