20 Oct
2021
20 Oct
'21
5:14 p.m.
On Tue, Oct 19, 2021 at 5:59 PM Brian Norris briannorris@chromium.org 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