[14:25] <Prf_Jakob> Have the xorg-pkg-tools repos been updated for a recent mesa master?
[14:28] <Prf_Jakob> Hmm is git://git.debian.org down?
[14:29] <jcristau> yes
[14:29] <jcristau> https://lists.debian.org/debian-infrastructure-announce/2013/11/msg00001.html
[14:29] <jcristau> it will hopefully be back later today, they're working on restoring stuff
[14:29] <Prf_Jakob> ok thanks
[14:30] <Prf_Jakob> And to go back to the first question, you guys haven't updated the xorg-pkg-tools for mesa-git recently?
[15:25] <tjaalton> that's some edgers thing?