On 03/04/2018 10:16 PM, Keith Thompson wrote: > The attachment shows "address@hidden".
Indeed, the web mailing list archive hides email addresses. > Assuming the actual patch has the correct address, yes, okay to push. Pushed at: https://git.sv.gnu.org/cgit/coreutils.git/commit/?id=1f52607fc348 Have a nice day, Berny
