jenkinsci/jenkins — pull request #596 by onemanbucket (2012-10-25 15:25:04+00:00)
Title: JENKINS-12875 use valid default header name

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

"kinder" default header name for crumb.