On Sun, Nov 01, 2026 at 04:31:57PM +0100, Hugo Buddelmeijer wrote: > Maybe these can still go in?
Sure, if you can add them quickly! I also wonder if there are ungrafts that could go on this branch (to be discussed over all upcoming branches, ideally). Andreas
