re-adding the list. On 12/07/2012 07:43 PM, Pádraig Brady wrote: > On 12/07/2012 06:28 PM, Bernhard Voelker wrote: >> On 12/05/2012 09:37 AM, Ondrej Oprala wrote: >>> On 12/05/2012 02:28 AM, Bernhard Voelker wrote: >>>> Ondrej (and others): WDYT? >>> Looks good to me :) . >> >> Shall I push? > > I've not time to analyze this unfortunately. > If you're happy with it, then push away. > I'll have a quick review before the next release.
Okay, then it's better I push, so that e.g. Hydra builds have a chance to find problem. Pushed: http://git.sv.gnu.org/gitweb/?p=coreutils.git;a=commitdiff;h=10d35b43 Thank you & have a nice day, Berny
