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.)

-- 
https://rrt.sc3d.org