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. _______________________________________________ Tails-dev mailing list Tails-dev@boum.org https://mailman.boum.org/listinfo/tails-dev To unsubscribe from this list, send an empty email to tails-dev-unsubscr...@boum.org.