On 2/22/19 8:50 PM, Bernhard Voelker wrote: > So the latest patch set [*] is good to push?
Padraig pushed the gnulib change at: https://git.sv.gnu.org/cgit/gnulib.git/commit/?id=e3970fb989 and sync'd coreutils to that commit. I pushed the CU change on top at: https://git.sv.gnu.org/cgit/coreutils.git/commit/?id=44af8426 Marking this as done. Thanks for all the "--help"-ful discussion. ;-) Have a nice day, Berny
