Comment 3 for bug 1990723

Revision history for this message
Mario (mmariorrossi) wrote (last edit ):

It was not a bug, but a human mistake, see above.
I'll try to close it and mark it as fixed.