Cool. I had noticed some server threads hung/deadlocked there recently and not realised it was this bug.
Cool. I had noticed some server threads hung/deadlocked there recently and not realised it was this bug.