Difference between revisions of "User:Jenkins"

(Created page with "This is a bot account used by ImageJ Jenkins jobs.")
 
m
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
This is a bot account used by ImageJ [[Jenkins]] jobs.
+
This bot account was used by ImageJ [[Jenkins]] jobs.

Latest revision as of 10:26, 22 November 2019

This bot account was used by ImageJ Jenkins jobs.