On 01/20/2013 04:13 PM, Pádraig Brady wrote: > On 01/20/2013 01:03 PM, Bernhard Voelker wrote: >> Shall I push? > > Please push the second patch.
Thanks, done: http://git.sv.gnu.org/cgit/coreutils.git/commit/?id=165343bc > I'll send the first one for consideration in gnulin now. Thanks for that, too. Have a nice day, Berny
