jenkinsci/jenkins — pull request #1319 by daniel-beck (2014-07-12 22:39:46+00:00)
Title: [WIP] [FIXED JENKINS-12875] Change default crumb name to Jenkins-Crumb

This aims to replace #596 based on @jglick's comments there.

Work in progress: Need to add test for the compatibility behavior.