On 2012-12-28 02:35, Paul Eggert wrote: > On 12/27/2012 03:41 PM, Peter Rosin wrote: >> If it helps I can regenerate with your redirection fix, but I assume >> whoever commits it can fix that part easily enough. Just let me know. > > How about if you do that, and we give Eric and/or others a week or > two to comment, and if there's no objection then we can > fold it into gnulib?
Sure thing, I also rebased them while at it... Cheers, Peter