Can some dev please close [#15422]?
Added a comment some months ago that I cannot reproduce it anymore. But didn’t find a way to close it myself. I suspect I don’t have the rights.
Thanks in advance 
Can some dev please close [#15422]?
Added a comment some months ago that I cannot reproduce it anymore. But didn’t find a way to close it myself. I suspect I don’t have the rights.
Thanks in advance