mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-04 23:55:52 +00:00
Also animate color so that a transition from one notification to another will appear more smoothly. Promoted all members of defaultOptions.* up the dot to make core more terse.