tags 11043 fixed close 11043 stop On 15/10/18 05:55 PM, Paul Eggert wrote:
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.
Pushed here: https://git.savannah.gnu.org/cgit/coreutils.git/commit/?id=4d5db7193c956a8fc33b57456cf51d7bca17e586