We had some issues with our external subversion repository a few
weeks ago and the fix accidentally changed the unique id (UUID) of the
repository. This meant that some people where unable to update their
The UUID is now set back to the original one, so if you had problems
your checkout should be fixed.
* However, if you made a new checkout in the last few weeks you may need
to run a script to fix the UUID. Please read: