[09:30] <tjaalton> apw: hi, drm-intel-nightly tree has moved, it's now called https://cgit.freedesktop.org/drm-tip
[09:30] <tjaalton> currently the same as old nightly
[09:30] <tjaalton> despite the name
[09:30] <tjaalton> so the mainline builder needs updating
[09:34] <smb> tjaalton, hm, depending on time I may have a look into it
[09:36] <tjaalton> smb: ok cool
[15:08] <Sarvatt> arges: hey, sorry to bug you, do you have any idea what happened with 7.1.5-1ubuntu2 of the crash package? https://launchpad.net/ubuntu/+source/crash?