diff --git a/doc/src/sgml/ports.sgml b/doc/src/sgml/ports.sgml index 05b718edb90..fbc9ecd9a71 100644 --- a/doc/src/sgml/ports.sgml +++ b/doc/src/sgml/ports.sgml @@ -242,6 +242,7 @@ At the time of publication, the following platforms have been tested: + Platforms listed for v6.3.x should also work with v6.4, but we did not receive confirmation of such at the time this list was compiled. @@ -322,10 +323,6 @@ Others listed here do not provide sufficient library support for an attempt. - -Note that Windows ports of the frontend are apparently possible -using third-party Posix porting tools and libraries. -