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