True; the status of this bug should be changed to "FIXED".
Finally, after eleven (!) years, I see the warning as it should have always been the case. Thanks to whoever did the fixing.
True; the status of this bug should be changed to "FIXED".
Finally, after eleven (!) years, I see the warning as it should have always been the case. Thanks to whoever did the fixing.