<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>