* Revert "#4271 not reproducable, remove workaround (#4363)" This reverts commit ef0580bd3dff7803de8d139ff46ffa5647189177. * Remove old comment
* Revert "#4271 not reproducable, remove workaround (#4363)" This reverts commit ef0580bd3dff7803de8d139ff46ffa5647189177. * Remove old comment