2013-05-09 - production
08:54	<hashar>	Jenkins apparently working fine. I have upgraded a few plugins, that seems to have fixed the Gerrit jobs.	[production]