On 01/20/2013 01:03 PM, Bernhard Voelker wrote:
On 01/11/2013 04:52 PM, Bernhard Voelker wrote:I've folded it in a more general form into the attached new version of the patch [...]Shall I push?
Please push the second patch. I'll send the first one for consideration in gnulin now. On the next sync of gnulib to coreutils, we can sync the updated bootstrap too. thanks, Pádraig.
