@Brian: I was only pointing the fact that, in reality, Robert's bug is not related to this one but to another already opened (and supposedly fixed) months ago.
@Brian:
I was only pointing the fact that, in reality, Robert's bug is not related to this one but to another already opened (and supposedly fixed) months ago.