On Wed, 26 Nov 2025 08:27:42 +0100 Gabriele Monaco <[email protected]> wrote:
> Steve, this is the only remaining change before the merge window, unless you > prefer to keep it for the next round, I'm going to send a small pull requests > with those two patches alone. Feel free to send the small pull request. Note, it's a US holiday tomorrow and Friday, where I will probably not be working. Everything will need to wait until Monday, which means the merge window will likely be open. -- Steve
