On 12/16/2017 11:10 PM, Bernhard Voelker wrote:
The attached patch [...]

push with a slightly improved commit message at
  https://git.sv.gnu.org/cgit/coreutils.git/commit/?id=47fb363432

Marking this as done.

Have a nice day,
Berny



Reply via email to