Subject: Issue was fixed

From: Gabriel Wicki <[email-masked]>
Date: Tue, 28 Nov 2023 17:24:57 +0100

This issue seems to have been fixed by Tobias with commit
22642d460488896ec1ddb25d7eb262938db810eb
using a patch to work around the issue.  I created a patch that'd
upgrade to the next version where igt-gpu-tools is actually fixed (so
the patch is not needed anymore): https://issues.guix.gnu.org/67508