Hi Daniel,
On Mon, 3 Jun 2019 09:31:03 +0200 Daniel Vetter daniel@ffwll.ch wrote:
drm.git too I guess?
No, I fetch that from git://git.freedesktop.org/ which seems to answer.
But yeah fd.o anongit keeled over over the w/e :-( Admins not yet awake, so can't tell you what's up.
No worries, I will just keep using what I have previously fetched.