On 2/22/19 4:06 PM, Eric Blake wrote: > Bad idea, for the reasons given above. Leave it as-is, with the change > in yes behavior being an intentional bug fix.
Good point(s). So the latest patch set [*] is good to push? If yes: I don't have push perms on gnulib, so if someone of you would be so kind (with adjusted ChangeLog) ... [*] http://lists.gnu.org/archive/html/bug-coreutils/2019-02/msg00078.html Thanks & have a nice day, Berny
