bug#67180: 30.0.50; 'pp-to-string' emits extra newline

[Eshel Yaron]

Eshel Yaron writes:

> On Emacs 29 and earlier, with `-Q`, we have:
>
> (pp-to-string "foo")
>   => "\"foo\""
>
> On master with `-Q`, we get an extra newline at the end of the string:
>
> (pp-to-string "foo")
>   => "\"foo\"
> "
>
> AFAICT this change in behavior breaks `agda2-mode` completely on master...

I see that the Agda developers worked around[0] this in the development
version of `agda2-mode`, but of course more code out there may be
affected by this change.  Perhaps it's worth mentioning in NEWS?


Best,

Eshel


[0] https://github.com/agda/agda/pull/6954