felix . winkelmann Mon, 06 Jan 2025 10:50:06 -0800
> See the attached patch. Thanks! I think this is straightforward enough so I have just pushed it.
cheers, felix