[Z3-zemantic] can't seem to commit

[Philipp von Weitershausen]

Paul Everitt wrote:
> 
> If it gets fixed today, that would be great.  The hotel I'm at in Boston 
> has a really fast net connection and I have an hour to kill. :^)

I was just able to commit.

Philipp