[Unison-hackers] New Unison SVN repository

[Benjamin Pierce]

Dear Unison hackers,

As I advertised last week, the Unison subversion repository has been  
moved.

You can anonymously download the new repository contents like this:

    svn co https://webdav.seas.upenn.edu/svn/unison

If you had commit rights to the old repository, you should also be  
able to commit to the new repository, using the same password.   
Please let me know if there are any problems with this.

     - Benjamin