Hi,months ago I’ve submitted a bug (#4953). Is there a way to know its status and if it will be fixed?
Thank you in advance
--Giorgio Valoti