Fix #10252 again (hopefully definitely).  Patch by Brian Curtin.
1 file changed