(triaging old bugs)

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?

-assaf





Reply via email to