JuliaLang/julia — pull request #7410 by tknopp (2014-06-25 07:44:52+00:00)
Title: fix #7409

fix #7409