there is no reply and the previous comment indicates the bug should be fixed so closing now, reopen if you still get the issue
there is no reply and the previous comment indicates the bug should be fixed so closing now, reopen if you still get the issue