On Fri, 22 Oct 2021 at 20:02, Stefan Kangas <stefan@marxist.se> wrote:

It seems like this patch was never installed. Is it still relevant?

(This is Eli's call.)