Hi Jacques, On Mon, Nov 24, 2025 at 01:02:13PM -0000, Jacques Heunis (BLOOMBERG/ LONDON) wrote: > Hi Willy > > No problem, I don't recall submitting this particular patch before so as far > as I can tell you didn't miss anything! > I've attached the patch file here, hopefully that's maintained the spacing > better. > I'm happy to try more things if there are still issues applying the patch.
Now merged, thank you very much! Willy
