[Jmlspecs-developers] Fwd: SourceForge Project Upgrade Notification

Hi,

The JMLspecs and MultiJava projects have both been upgraded on
Sourceforge.net to their new system. Apparently this might cause some
problems accessing the code repositories for a while. See below for more
details.

---------- Forwarded message ----------
From: SourceForge.net <nor...@in...>
Date: Tue, Nov 27, 2012 at 2:45 PM
Subject: SourceForge Project Upgrade Notification
To: no...@in...


Your project, Java Modeling Language (JML), has been upgraded.

Your source code repositories are currently being migrated to the new
setup. You will receive another email when that import is complete. That
means that you and any other developers should do a fresh checkout using
the new repository location when it is ready (see the "code" tab). Please
be aware that large repositories may take a long time.

Please report any issues to us at
https://sourceforge.net/p/forge/site-support/new/  Thanks!



-- 
        Gary T. Leavens
        437D Harris Center (Bldg. 116)
        Computer Science, University of Central Florida
        4000 Central Florida Blvd., Orlando, FL 32816-2362 USA
        http://www.eecs.ucf.edu/~leavens  phone: +1-407-823-4758
        le...@ee...