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?
