[ImageJ-devel] Updating Jenkins?

[Johannes Schindelin]

Hi Curtis,

On Wed, 21 Mar 2012, Curtis Rueden wrote:

> > So: is it okay for me to upgrade our Jenkins?
>
> I would rather not manage the upgrades manually. Right now Jenkins is
> installed from the Ubuntu package manager, and I just upgraded it a
> couple of days ago, so I think that the repository is just slightly
> behind.

Fair enough. I forgot that it's installed via apt-get :-)

Ciao,
Dscho