Index: head/devel/jenkins/distinfo
===================================================================
--- head/devel/jenkins/distinfo	(revision 432310)
+++ head/devel/jenkins/distinfo	(revision 432311)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1485179541
-SHA256 (jenkins/2.42/jenkins.war) = 5e08ff4a2b04338ca8894d782acf48e33200c2ebac45dad92c83063f5c8628e5
-SIZE (jenkins/2.42/jenkins.war) = 20153048
+TIMESTAMP = 1485227261
+SHA256 (jenkins/2.42/jenkins.war) = f16994d00d3ce8b205c07fa537de228b57dc3517915e6577f53b1eb3143c9a9e
+SIZE (jenkins/2.42/jenkins.war) = 68626093