@rfabbri: your reports didn't get attached to this bug report, because as you said you are not the original reporter. I was sending my request to the original reporter.
@rfabbri: your reports didn't get attached to this bug report, because as you said you are not the original reporter. I was sending my request to the original reporter.