jenkinsci/jenkins — pull request #1139 by bkmeneguello (2014-02-24 02:53:48+00:00)
Title: Refactoring to allow user properties for anonymous users with

HttpSession fallback and creation of IconSizeProperty to replace
decentralized cookies settings