On Wed, 16 Oct 2024 at 15:21, David Rowley <dgrowle...@gmail.com> wrote:
> Here's a patch including a test this time.

I've pushed this patch. Thanks for looking.

David


Reply via email to