Subject: Re: bug#76715: 30.1; Issues when pretty printing lists with elements ending with a dot

From: Michael Heerdegen <[email-masked]>
Date: Wed, 05 Mar 2025 14:37:51 +0100

Eli Zaretskii <[email-masked]> writes:

> Stefan, any comments or suggestions?

It's a regression from 2024, related to

  7269a2f1586 "(pp-fill): Cut before parens and dots"

So we must ensure that the dots where we cut are not part of a symbol.

Michael.