On 02/11/2013 02:42 AM, Pádraig Brady wrote: > On 02/10/2013 10:11 PM, Bernhard Voelker wrote: >> I'll push tomorrow unless I receive further comments. > > +1
Thanks, pushed: http://git.sv.gnu.org/cgit/coreutils.git/commit/?id=b5f45b64 Marking as done. Have a nice day, Berny
