From: Arun Persaud <arun@nubati.net>
Date: Fri, 10 Feb 2012 07:45:27 +0000 (+0000)
Subject: updated for developer release from 2012-02-09
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=076dce09fdfc31cff61bd9f896e37ee142f4d13c;p=xboard.git

updated for developer release from 2012-02-09

updated master and v4.6.x
---

diff --git a/index.html b/index.html
index 2ea7e5e..d1c7019 100644
--- a/index.html
+++ b/index.html
@@ -125,10 +125,10 @@ know).</p>
 <p>Furthermore we provide two development versions (tagged commits in git):</p>
 
 <ul>
-<li>A snapshot of the v4.6.x branch (a few commits behind the build server packages mentioned above): <a href="ftp://alpha.gnu.org/gnu/xboard/"> 4.6.0.20111203 </a> <br />
-This is pre version 4.6.0. <a href="http://packages.debian.org/experimental/xboard">Debian packages</a> of these tar-balls are available.
+<li>A snapshot of the v4.6.x branch (a few commits behind the build server packages mentioned above): <a href="ftp://alpha.gnu.org/gnu/xboard/"> 4.6.0.20120209 </a> <br />
+This is a release candidate for version 4.6.0. <a href="http://packages.debian.org/experimental/xboard">Debian packages</a> of these tar-balls are available.
 </li>
-<li>A snapshot of the master branch: <a href="ftp://alpha.gnu.org/gnu/xboard/"> master-20110822 </a>. <br />
+<li>A snapshot of the master branch: <a href="ftp://alpha.gnu.org/gnu/xboard/"> master-20120209 </a>. <br />
 The master branch includes the development for v4.6.x and also has some more experimental features that need more testing and/or debugging. Precompiled packaged versions are available for <a href="http://packages.debian.org/experimental/xboard">debian</a> and <a href="http://hgm.nubati.net/WinBoard-4.5TM.exe ">Windows</a>. More current versions from the master branch can be downloaded via git or from the Open Build Server (see above).
 </li>
 <li> New GTK branch in git (no developer release available yet). </li>
@@ -302,7 +302,7 @@ Commons Attribution-NoDerivs 3.0 United States License</a>.</p>
 
 <p>Updated:
 <!-- timestamp start -->
-$Date: 2012/01/11 04:39:57 $
+$Date: 2012/02/10 07:45:27 $
 <!-- timestamp end -->
 </p>
 </div>