JuliaLang/julia — pull request #7620 by tkelman (2014-07-15 19:38:40+00:00)
Title: fix terminal size detection in mintty

cc @vtjnash this look good to you?