jenkinsci/jenkins — pull request #580 by lvotypko (2012-10-01 06:43:27+00:00)
Title: Extension point for displaying of time

The way how the time is displaying now is problematic if user does not know where is the server. I want to create plugin which enables to users set the format of time by their needs.