On 3/7/19 8:37 AM, Bernhard Voelker wrote:
> Subject: [PATCH] maint: sync extra files from gnulib

As discussed: pushed after v8.31 here:

  https://git.sv.gnu.org/cgit/coreutils.git/commit/?id=5b9d74726

Have a nice day,
Berny

Reply via email to