Difference between revisions of "User:Jenkins"

m
 
Line 1: Line 1:
This is bot account was 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.