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.