2014-10-01 - production
23:09	<Krinkle>	Jenkins restart finished. Patched git-client-plugin seems to work as expected (bug 71533).	[production]