On Tue, May 15, 2018 at 10:01 AM Pádraig Brady <P@draigbrady.com> wrote:

Pushed at https://git.sv.gnu.org/gitweb/?p=coreutils.git;a=commitdiff;h=v8.29-36-gd3daa95

marking this as done

cheers,
Pádraig.