<img src="../4.5.0/winboardF.png">
<p>
- <a href="../4.7.0/index.html">Follow-up</a>
+ <a href="../4.8.0/index.html">Follow-up (4.8.0)</a>
+ </p>
+ <p>
+ <a href="../4.7.1/index.html">Bugfixes (4.7.1)</a>, <a href="../4.7.2/index.html">(4.7.2)</a>, <a href="../4.7.3/index.html">(4.7.3)</a>
</p>
<p>
<a href="../4.6.2/index.html">Preceding (bugfix) release (4.6.2)</a>
<p>Updated:
<!-- timestamp start -->
-$Date: 2013/02/21 06:41:59 $
+$Date: 2014/10/18 05:13:44 $
<!-- timestamp end -->
</p>
</div>