> On 22 Jul 2026, at 16:35, Robin Dapp <[email protected]> wrote: > > As before, to me this looks reasonable even though I would have split > both fixes right away (also because the hard-reg change is not in the > title). But they're tiny so IMHO isn't an issue.
Ok thanks. I’ve split them up in two, sent out separately. Jeff, is this something you could approve? Thanks, Kyrill > > -- > Regards > Robin >
