A maintenance release is now available for all supported platforms. Consider updating if you are using Version 7.1.0 or older.

A new feature release is now available for all supported platforms.
Consider updating if you are using Version 7.0.6 or older.

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.5 or older.

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.4 or older.

In rare circumstances, a timeout of a multi-node cluster test (which should result in TESTERROR) can lead to a situation where

1. No abstract machine reports this TESTERROR.
2. The verdicts of test cases (and the test procedure) remains PASS,
   despite the fact that this result is not reliable.

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.3 or older.

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.2 or older.

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.1 or older.

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.0 or older.

A new feature release is now available for all supported platforms.
Consider updating if you are using Version 6.0-6.6.3 or older.