JuliaLang/julia — pull request #4622 by danluu (2013-10-24 10:29:09+00:00)
Title: Remove duplicate def

Is this on purpose? If it is, I'd be curious why. If not, here's a pull request :-).