On 10/15/18 9:28 AM, Assaf Gordon wrote:
On 27/03/12 09:54 AM, Paul Eggert wrote:
Here's a proposed patch to document the
already-existing feature on this point.

Seems like the patch in https://bugs.gnu.org/11043#14
was ready but never committed.

OK to commit?

Yes, and thanks.




Reply via email to