[Tails-dev] Scheduled CI maintenance: September 19-22

Hi,

on September 19-22, the sysadmin team will be upgrading our Jenkins
(#10068). Don't count on CI during these days. We'll let you know once
things are supposed to be back into working shape.

Thanks in advance for your patience :)

Cheers,
--
intrigeri