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

Reply via email to