There is an update for Jenkins available via Apt today on the new server (1.486 vs installed 1.485). Is there any reason we should be cautious about upgrading Jenkins or can I just feel free? If it should not be upgraded at will we should probably pin that package and of course any others that you want to treat specially. Ken