u: > Question 1: how urgent is this? In general: keeping the Git tree building is high priority because otherwise any development based on the branch that fails to build is blocked.
Right now: I don't know who's working on branches based on devel this week. Personally, I guess I'll fix that next time I am blocked by it, just like I did on feature/stretch, so _for me_ it's not urgent. Cheers! -- intrigeri _______________________________________________ Tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev To unsubscribe from this list, send an empty email to [email protected].
