On Fri, Dec 06, 2024 at 02:25:01PM +0100, Patrick Steinhardt wrote: > This reverts commit f5e9b17ebcc547ecfb14c542c06e30e95aa80b1a. Oops, this last patch shouldn't have been sent out as part of this series. It's what I have locally and push to CI systems so that they pass on `master`. Please drop this last patch. Patrick