On Tue, Oct 19, 2021 at 5:59 PM Brian Norris <briannorris@xxxxxxxxxxxx> wrote: > > https://drm.pages.freedesktop.org/maintainer-tools/drm-misc.html gives > HTTP 404, and https://drm.pages.freedesktop.org/maintainer-tools/ > redirects to freedesktop.org now. With a dash of irony, I actually listed the wrong URLs in the description. (I used the properly-redirected ones, and claimed that they were the broken ones.) I'll send a v2, so a maintainer doesn't have to fix that up for me. Brian
