[Tails-dev] Jenkins issues

Hi,

just so you know, our Jenkins instance is currently in pretty bad
shape. Don't be surprised when you see scary Java stack-traces
when pushing. I'm working on it, but it will take time.

Cheers,
--
intrigeri