merge 15758 15759
stop

bug#15758 is the same as bug#15759, so I'm merging them,
to avoid confusion or the risk of dispersing the discussion.

Regards,
  Stefano



Reply via email to