<!--
Update this file to propagate correct current version numbers to the
documentation.  In text, use for example &version; to refer to them.
-->

<!entity version "7.2">
<!entity majorversion "7.2">
