[m-rev.] for review: add a NEWS section 22.01.8

[Julien Fischer]

On Mon, 4 Sep 2023, Zoltan Somogyi wrote:

>
> On 2023-09-04 13:43 +10:00 AEST, "Julien Fischer" <jfischer at opturion.com> wrote:
>> +* We have fixed a bug in the debugger where the output of the command `print *`
>> +  could be written to an incorrect stream.
>
> That is not a correct description of the details of the bug. 'print *' itself was not wrong;
> the bug was in the implementation of a format, and 'print *' just happened to have
> that format as its default.
>
> The bug itself is sufficiently rare that I don't think fixing that detail would help;
> we should just make things correct by deleting the detail entirely. I would propose
>
> We have fixed a bug in the debugger, which, in some rare circumstances, could cause
> it to print terms to the wrong stream.

Done.

> The rest is fine.


Thanks for that!

Julien.