[Tails-dev] jenkins.t.b.o and nightly.t.b.o downtime

Hi,

Due to some infra change (#9597), jenkins.tails.boum.org and
nightly.tails.boum.org will be down for some (hopefully short) time
today.

Progress will be tracked on the ticket, if you're in need of one of
them, have a look there.

bert.