There has been no recurrence of this bug so I would say it is fixed. Should I change the status of this issue? And if so, to what?
There has been no recurrence of this bug so I would say it is fixed. Should I change the status of this issue? And if so, to what?