[m-rev.] diff: adjust the release notes

[Julien Fischer]

Hi Paul,

On Wed, 22 Jan 2020, Paul Bone wrote:

> On Tue, Jan 21, 2020 at 08:09:33PM +1100, Julien Fischer wrote:
>>
>> diff --git a/RELEASE_NOTES b/RELEASE_NOTES
>> index 8d0ba9b..5525ef7 100644
>> --- a/RELEASE_NOTES
>> +++ b/RELEASE_NOTES
>> @@ -145,9 +145,7 @@ Erlang.  See README.Java, README.CSharp, and README.Erlang respectively
>>  for further details.
>>
>>  The current Mercury system has been tested on Linux (x86 and x86_64),
>> -Mac OS X (x86 and x86_64), and Windows (x86 and x86_64).
>> -For Windows, we have tested this release on Windows XP SP3, Windows 7,
>> -and Windows Server 2008 R2.
>> +macOS (x86_64), and Windows (x86 and x86_64).
>>
>
> How do people find out that they need specific settings for eg: x86 on Linux
> because of the bug with asm_fast?

Use a version of Mercury that contains the workarounds we have put in
place for that issue.  (rotd-2020-01-08 does not).

The configure script in will force the use of 'reg' as the LLDS base
grade on affected i*86 systems.

> Also I tried the jump grade but it has compilation errors.  Looks like the
> errors in mercury_stacks.c are easy to fix, but there were further errors I
> hit after that in the standard library.

'jump' is not a supported grade; that's why there is no user
documentation for it.

Julien.