Updated release test status.

misc/plan.html

@@ -79,19 +79,19 @@
   <p> Since xenofarm isn't up and running, do some manual testing:
   </p>
   <ul>
-    <li class='should'> x86_64-linux-gnu</li>
+    <li class='done'> x86_64-linux-gnu</li>
     <li class='should'> x86_64-freebsd</li>
-    <li class='should'> x86-linux-gnu</li>
+    <li class='done'> x86-linux-gnu</li>
     <li class='should'> x86-freebsd</li>
-    <li class='should'> x86-w*ndows (using cross compiler and wine)</li>
+    <li class='done'> x86-w*ndows (using cross compiler and wine)</li>
     <li class='wish'> x86_64-w*ndows (seems a bit harder since 64-bit
     wine is not yet available in debian)</li>
     <li class='should'> x86-darwin (needs help from Nettle users)</li>
     <li class='should'> x86_64-darwin (needs help from Nettle users)</li>
-    <li class='should'> armv7-linux-gnu (pandaboard test platform)</li>
+    <li class='done'> armv7-linux-gnu (pandaboard test platform)</li>
     <li class='wish'> armv7-android (possible test platform: N10 tablet)</li>
-    <li class='should'> sparc32-solaris10</li>
-    <li class='should'> sparc64-solaris10</li>
+    <li class='done'> sparc32-solaris10</li>
+    <li class='done'> sparc64-solaris10</li>
   </ul>
 
   <h1> Plans for nettle-2.8 </h1>