57c57
< 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
123c123
< </body></html>
\ No newline at end of file
---
> </body></html>