jenkinsci/jenkins — pull request #425 by jieryn (2012-04-04 01:50:11+00:00)
Title: [JENKINS-13105] for keyboard shortcuts plugin, allow j/k navigation for search results

This small change enables keyboard shortcuts plugin to operate on search results. See JENKINS-13105 for details.