JuliaLang/julia — pull request #5094 by ivarne (2013-12-10 17:25:42+00:00)
Title: Fix #5051

Sorry for the delay, I thought I might combine this with solving https://github.com/JuliaLang/julia/issues/5068, but since i just used the function referred to in https://github.com/JuliaLang/julia/issues/5051#issuecomment-3006196, there was no reason to wait.