This just looks racy, and a side-effect of the restart, nothing related to the bug that was fixed. I don't think you'd see this again, but just to be certain, it would be helpful if you could include additional information if there is a reliable way to reproduce this bug.
This just looks racy, and a side-effect of the restart, nothing related to the bug that was fixed. I don't think you'd see this again, but just to be certain, it would be helpful if you could include additional information if there is a reliable way to reproduce this bug.
Thanks!