Subject: Re: [bug#41574] gnu: Add intel-xev.

From: Marius Bakke <[email-masked]>
Date: Tue, 21 Jul 2020 23:02:52 +0200

[email-masked] writes:

>> Apart from these minor issues, I think it's good to go.  \o/
>> 
>> Can you send an updated patch?  TIA!  :-)
>
> Here you go!

Sorry for the delay, this patch got lost in my horrifying email queue.

Applied now!