summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gnumach-install.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnumach-install.html b/gnumach-install.html
index f15e214c..1f804693 100644
--- a/gnumach-install.html
+++ b/gnumach-install.html
@@ -57,7 +57,7 @@
<H3><A HREF="#TOCversion" NAME="version">Latest version</A></H3>
<P>
-The last stable version of GNU Mach is 1.2, but it is recommended that
+The last stable version of GNU Mach is 1.3, but it is recommended that
you use the version in CVS instead, as this fixes some bugs that
prevent the kernel to work on some systems.