Git migration is done :)

From: manfred riem <>
Date: Tue, 15 Sep 2015 13:50:00 -0500

Hi all,

You might or might not have noticed that we have been working hard on
getting ready to host the sources on a Git repository.

As the last part of this exercise I have turned off check-in access to
the Subversion repository.

So please re-checkout your sources using the git checkout URL:

For web access see


Kind regards,
Manfred Riem