jenkinsci/jenkins — pull request #1460 by vjuranek (2014-11-08 17:12:28+00:00)
Title: [JENKINS-25455] Avoid zero height of CodeMirror textarea

https://issues.jenkins-ci.org/browse/JENKINS-25455