At Thursday 15 July 2010, Ralf Wildenhues wrote: > Why not just send a bug report to bug-gnulib, since you already > have a reproducer? Good idea. Done.
Regards, Stefano
At Thursday 15 July 2010, Ralf Wildenhues wrote: > Why not just send a bug report to bug-gnulib, since you already > have a reproducer? Good idea. Done.
Regards, Stefano