Update devel/jenkins to version 2.416
authorDPorts Builder <nobody@home.ok>
Thu, 10 Aug 2023 21:26:10 +0000 (14:26 -0700)
committerDPorts Builder <nobody@home.ok>
Thu, 10 Aug 2023 21:26:10 +0000 (14:26 -0700)
commit145d3760b1e7bb619151f95310a515dbd4b16700
tree35748e657ed6b9b3ee9216b08d1e73107eaaa6b3
parent2918646c07bfb4544996be2efde8c1677fd431f9
Update devel/jenkins to version 2.416
devel/jenkins/Makefile
devel/jenkins/distinfo